Seminar for History and Philosophy of Mathematics and Mechanics
PROGRAM
MATEMATIČKI INSTITUT SANU
Seminar za istoriju i filosofiju matematike
PLAN RADA ZA JUL 2021.
ČETVRTAK, 01.07.2021. u 17:15 sati, u sali 102, prvi sprat, Knez Mihailova 36
Zvonimir Šikić, Sveučilište u Zagrebu, Hrvatska
KNEALEOVE PRIRODNE DEDUKCIJE KAO NOTACIJSKA VARIJANTA BETHOVIH TABLOA
Gentzenov singularni sekventni sustav logike prvog reda nastao je kao alternativni zapis njegovog sustava prirodnih dedukcija, koji je pak nastao kao pogodnija varijanta Fregeovog aksiomatskog sustava. Gentzenov multiplarni sustav nastao je kao simetrična generalizacija njegovog singularnoga sustava, koja je bila primjerenija klasičnoj logici. Bethov sustav tabloa izravni je produkt semantičke analize veznika i kvantifikatora prvoga reda, no ubrzo je shvaćeno da su Bethov i Gentzenov multiplarni sustav samo notacijske varijante jedan drugoga. Knealeov sustav multiplarnih prirodnih dedukcija uveden je kao generalizacija Gentzenovog singularnog sustava prirodnih dedukcija. Mi dokazujemo da je i Knealeov sustav samo notacijska varijanta Bethovog sustava, tako što dokazujemo da je on notacijska varijanta Gentzenovog multiplarnog sustava.
Posvećeno pokojnom Kosti Došenu koji je davno tražio da ovo napišem.
Seminar se održava u sali 301F u Institutu, na III spratu, lift levo gledano sa ulaza, u zgradi preko puta zgrade SANU (nekadašnja SDK), Knez Mihailova 36.
Rukovodilac Seminara