Iwan Iwanowitsch Schegalkin

Iwan Iwanowitsch Schegalkin (Иван Иванович Жегалкин; wiss. Transliteration Ivan Ivanovič Žegalkin) (* {{#ifexpr:(( 1869=1582)and(8=10)and(3>=15))or((1869=1582)and(8>10))or((1869>1582))|{{#time:j." "F|{{#ifexpr:( 1869 mod 4 = 0)|2008|2007}}0803000000 {{#expr:-{{#expr:(( 1869 / 100 - 3.5 round 0) / 4 * 3 + 0.5 round 0) - {{#ifexpr:( 1869 mod 100 = 0) and (1869 mod 400 != 0) and (8 <= 2)|1|0}} }}}} days}}{{#ifexpr:({{#switch:{{#invoke:TemplUtl|faculty||0}}||"false"=1|#default=0}} and ( ( 8 - 1 < 0) or ( 8 - 1 > 13) or (( 8 - 1 = 0) and (3 <= ({{#expr:(( 1869 / 100 - 3.5 round 0) / 4 * 3 + 0.5 round 0) - {{#ifexpr:( 1869 mod 100 = 0) and (1869 mod 400 != 0) and (8 <= 2)|1|0}} }}))) or (( 8 - 1 = 13) and (3 > ({{#expr:(( 1869 / 100 - 3.5 round 0) / 4 * 3 + 0.5 round 0) - {{#ifexpr:( 1869 mod 100 = 0) and (1869 mod 400 != 0) and (8 <= 2)|1|0}} }})))))|  {{#expr:1869 - (1-2*((1)<0)) }} }}{{#if: {{#invoke:TemplUtl|faculty||0}} | (Julianischer Kalender) | ^jul. }} / {{#time:{{#if:{{#invoke:TemplUtl|faculty|1|0}} |j." "F"{{

1. switch:{{#invoke:TemplUtl|faculty||0}}||"false"= 1869}}"|j." "F"{{
2. switch:{{#invoke:TemplUtl|faculty||0}}||"false"= 1869}}" }}|18690803000000 {{#expr:-0}} days}}{{#if: {{#invoke:TemplUtl|faculty||0}} | (Gregorianischer Kalender) | ^greg. }}

| {{#time:{{#if:{{#invoke:TemplUtl|faculty|1|0}} |j." "F"{{

1. switch:{{#invoke:TemplUtl|faculty||0}}||"false"= 1869}}"|j." "F"{{
2. switch:{{#invoke:TemplUtl|faculty||0}}||"false"= 1869}}" }}|{{#ifexpr:( 1869 mod 4 = 0)|2008|2007}}0803000000 {{#expr:-0}} days}}{{#if: {{#invoke:TemplUtl|faculty||0}} | (Julianischer Kalender) | ^jul. }}

}} in Mzensk; † 28. März 1947 in Moskau) war ein russischer Logiker und Mathematiker.

Schegalkin war von 1902 bis 1911 Dozent und von 1917 bis 1947 Professor an der Moskauer Universität. Er war einer der Gründer der sowjetischen Schule der mathematischen Logik. 1927 entwickelte er einen algebraischen Logikkalkül, der die Logik von George Boole optimiert und später als boolescher Ring bezeichnet wurde.

Aussagenkalkül

Schegalkin baute seinen Aussagenkalkül auf der Konjunktion UND als Multiplikation und der ausschließenden Disjunktion ENTWEDER-ODER als Addition auf und formulierte folgendes Axiomensystem:<ref>Жегалкин: О технике вычислений предложений в символической логике. In: Математический сборник. Band 34, Nr. 1, 1927, S. 9–28, hier S. 11 f.</ref>

• assoziativ: (ab)c=a(bc)
• kommutativ: ab=ba
• neutral: 1a=a
• nihiliert: 0a=0
• idempotent: aa=a
• assoziativ: (a+b)+c=a+(b+c)
• kommutativ: a+b=b+a
• neutral: 0+a=a
• selbstinvers: a+a=0
• distributiv: (a+b)c=ac+bc

Die Regel »nihiliert« ist überflüssig und beweisbar: 0a=(a+a)a=aa+aa=0. Die Regel »selbstinvers« gilt in Booles originaler Algebra nicht; er nannte und gebrauchte nur die übrigen Axiome. Diese Regel ist aber entscheidend, denn sie macht aus Booles Algebra, die auch logisch sinnlose Formeln enthält, einen selbständigen Logikkalkül, in der alle Formeln eine logische Bedeutung tragen. Man findet »selbstinvers« schon 1891 bei Giuseppe Peano, bei dem aber das zweite Neutralgesetz und das Distributivgesetz fehlen.<ref>Giuseppe Peano: Opere scelte. Band 2: Logica matematica – Interlingua ed algebra della grammatica. Edizioni Cremonese, Rom 1958, Regeln S. 107 (3.)(5.), S. 109 (2.), S. 125 (25.)–(28.) mit o statt + notiert; 1895 erweitert mit Neutralgesetz, Regeln S. 177 f. (6.)(10.), S. 181 f. (2.)(4'.)(25.)–(28.).</ref> Das vollständige Axiomensystem stellte Schegalkin erstmals auf. Durch die Definition –a=a entsteht ein sogenannter Boolescher Ring mit der Subtraktion a-b=a+b.<ref>Жегалкин: Арифметизация Символической Логики. In: Математический сборник. Band 35, Nr. 3/4, 1928, S. 311–377, hier S. 322, Definition der Subtraktion.</ref> Durch die Definitionen <math>a\land b=ab</math> und <math>a\lor b=a+b+ab</math> und <math>\neg a=1+a</math> entsteht eine Boolesche Algebra im modernen Sinn.

Schriften

• О технике вычислений предложений в символической логике. In: Математический сборник. Band 34, Nr. 1, 1927, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0368-8666|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0368-8666}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 9–28, (online).

• Арифметизация Символической Логики. In: Математический сборник. Band 35, Nr. 3/4, 1928, S. 311–377, (online).

Literatur

• Denis A. Vladimirov: Boolesche Algebren (= Mathematische Lehrbücher und Monographien. Abteilung 2: Mathematische Monographien. 29). In deutscher Sprache herausgegeben von G. Eisenreich. Akademie-Verlag, Berlin 1972.

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 311307764 | |

}} }}{{#ifeq:||{{#if: 2025-12-07 | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|2025-12-07|7}}]] }}{{#if: ja | {{#if: 2025-12-07 | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 311307764 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 311307764 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Schegalkin, Iwan Iwanowitsch | {{#if: Жегалкин, Иван Иванович (russisch); Žegalkin, Ivan Ivanovič (wissenschaftliche Transliteration) | {{#if: russischer Logiker und Mathematiker | {{#if: 3. August 1869 | {{#if: Mzensk | {{#if: 28. März 1947 | {{#if: Moskau |