Τα Θεωρήματα μη πληρότητας του Gödel
Το σύστημα της αριθμητικής του Peano. Η αριθμητική του Robinson. Η έννοια της αναπαραστασιμότητας. Απόδειξη ότι όλες οι αναδρομικές συναρτήσεις αναπαρίστανται στην αριθμητική. Αριθμητικοποίηση των μεταμαθηματικών. Απόδειξη ότι όλες οι μεταμαθηματικές σχέσεις και συναρτήσεις εκφράζονται με αναδρομικέ...
| Main Authors: | , |
|---|---|
| Format: | 7 |
| Language: | Greek |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://localhost:8080/jspui/handle/11419/2304 |
