Jerzy Pogonowski - Funkcje Rekurencyjne
From Zakład Logiki Stosowanej
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Funkcje rekurencyjne
- Intuicje dotyczące obliczania.
- Pojęcie nieskończoności - różne definicje.
- Nieskończona złożoność strukturalna - fraktale.
- Funkcje rekurencyjne i maszyny Turinga.
- Reprezentowalność w PA. Arytmetyzacja składni.
- Twierdzenia: Gödla, Rossera, Löba, Tarskiego.
- Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.
- Dodatek 1. Maszyny logiczne Smullyana.
- Dodatek 2. O rachunku kombinatorów.
- Dodatek 3. Konsekwencje Bereszit 2:16.
