Θεωρία υπολογισιμότητας: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 31:
Η Θεωρία της Αναδρομής συνδεέται με την αριθμητικη δευτέρου τάξης, μια τυπική θεωρία των φυσικών αριθμών και συνόλων φυσικών αριθμών.Το γεγονός οτι κάποια σύνολα ειναι υπολογίσιμα και κάποια σχετικά υπολογίσιμα συχνά σημαίνει ότι αυτά τα σύνολα μπορούν να οριστούν σε πιο αδύναμα υποσυστήματα αριθμητικής δευτέρου τάξης.Το πρόγραμμα των αντίστροφων reverse mathematics χρησιμοποιεί αυτά τα υποσυστήματα για να μετρήσει την μη υπολογισιμότητα σε κάποια πολύ γνωστά μαθηματικά θεωρήματα . .Ο Simpson (1999) αναφέρεται σε πολλές πτυχές της αριθμητικής δεύτερης τάξης και reverse mathematics.
Ο κλάδος της Θεωρίας Αποδείξεων περιλαμβάνει την μελέτη της αριθμητικής δεύτερης ταξης και τα [[Αξιώματα Πεάνο]] όπως επίσης και τυπικές θεωρίες των φυσικών πιο αδύναμες από τα Αξιώματα Πεάνο.Μία μέθοδος κατηγοριοποιήσης της ισχύς αυτών των αδύναμων συστημάτων γίνεται με
== Βιβλιογραφία ==
Γραμμή 80:
:* A. Turing, 1939. "Systems of logic based on ordinals." ''Proceedings of the London Mathematics Society'', ser. 2 v. 45, pp. 161–228. Reprinted in "The Undecidable", M. Davis ed., 1965.
== Επιπλέον Σύνδεσμοι ==▼
* <ref>{{Cite web|url = http://www.aslonline.org/|title = Association for Symbolic Logic homepage}}</ref>▼
* <ref>{{Cite web|url = http://www.maths.leeds.ac.uk/cie/|title = Computability in Europe homepage}}</ref>▼
* <ref>{{Cite web|url = http://www.comp.nus.edu.sg/~fstephan/recursiontheory.html|title = Webpage on Recursion Theory Course at Graduate Level with approximately 100 pages of lecture notes}}</ref>▼
* <ref>{{Cite web|url = http://www.comp.nus.edu.sg/~fstephan/learning.ps|title = German language lecture notes on inductive inference}}</ref>▼
<references/>
▲== Επιπλέον Σύνδεσμοι ==
▲* {{Cite web|url = http://www.aslonline.org/|title = Association for Symbolic Logic homepage}}
▲* {{Cite web|url = http://www.maths.leeds.ac.uk/cie/|title = Computability in Europe homepage}}
▲* {{Cite web|url = http://www.comp.nus.edu.sg/~fstephan/recursiontheory.html|title = Webpage on Recursion Theory Course at Graduate Level with approximately 100 pages of lecture notes}}
▲* {{Cite web|url = http://www.comp.nus.edu.sg/~fstephan/learning.ps|title = German language lecture notes on inductive inference}}
| |||