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