A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Z

Zu diesem Stichwort wurde folgender Inhalt gefunden:

Platon Sergejewitsch Porezki (1846 – 1907)

Der russische Logiker, Astronom, Mathematiker und Philosoph Platon Sergejewitsch Porezki war Professor an der Universität Kasan.

Er hielt als erster in Rußland Vorlesungen über mathematische Logik.

Porezki verallgemeinerte die Ergebnisse von Boole, Jevons und Schröder auf dem Gebiet der Algebra der Logik. Ergebnis ist eine Theorie logischer Identitäten.

Er versuchte das Problem der Entscheidbarkeit im Klassenkalkül durch einen möglichst einfachen Algeorithmus zu lösen.

Porezki meinte, dass die Logik qualitative Formen und die Algebra quantitative Formen untersucht. Die Methodik der mathematischen Logik und der Algebra sind nach Porezki analog.

Im Kalkül von Porezki gibt es zwei konstante Termini: 1 für die Universalklasse und 0 für die Leerklasse. Die variablen Termini werden bei ihm mit lateinischen Buchstaben a, b, c, d … bezeichnet, die logischen Operationen mit den Zeichen . für die Multiplikation, + für die Addition und ‚ für die Ergänzung. Porezki schuf eine Theorie der logischen Gleichungen und später auch der logischen Ungleichungen.