Seminarium z historii matematyki, 17 marca 2025 r.

Adam Olszewski (Uniwersytet Papieski Jana Pawła II)

Czy podmiot matematyczny Hilberta jest solipsystą?

W referacie spróbuję odpowiedzieć na postawione pytanie. Najpierw podam udoskonalone sformułowanie solipsyzmu w postaci quasi-równań. Następnie podam model dla tych quasi-równań, który ma służyć dowodowi ich niesprzeczności. Następnie pokażę, że Aksjomat Hilberta spełnia quasi-równania i w jakim sensie.  Moc dedukcyjna tego Aksjomatu pokaże się w tym iż można wyprowadzić z niego za pomocą zasad logiki zasadę Cogito ergo sum Kartezjusza. Następnie przeprowadzę bardziej szczegółowe rozważania dotyczące uprawiania matematyki przez podmiot solipsystyczny Hilberta, w szczególności formalizmu Hilberta.

Back