Adobe PDF (305.68 kB)
Title Details:
Computability, recursive functions
Authors: Koletsos, Georgios
Reviewer: Dimitrakopoulos, Konstantinos
Subject: HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC
HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC
MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
Keywords:
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Description:
Abstract:
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις.
Σχήματα δημιουργίας και χειρισμού των αναδρομικών συναρτήσεων. Η β-συνάρτηση του Gödel και οι αριθμοί ακολουθίας. Κωδικοποίηση και αντίστοιχες συναρτήσεις. Απόδειξη ότι η πρωτογενής αναδρομή ορίζεται με βάση τα σχήματα της γενικής αναδρομής.
Ισοδυναμία των αναδρομικών συναρτήσεων και των Turing ορίσιμων. Ανάλυση της έννοιας του υπολογίσιμου και το αίτημα του Church.
Linguistic Editors: Toulatou, Dimitra
Technical Editors: Stavrinos, Giorgos
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/2303
Bibliographic Citation: Koletsos, G. (2015). Computability, recursive functions [Chapter]. In Koletsos, G. 2015. Μαθηματική λογική [Undergraduate textbook]. Kallipos, Open Academic Editions. chapter 4. http://hdl.handle.net/11419/2303
Language: Greek
Is Part of: Μαθηματική λογική
Publication Origin: Kallipos, Open Academic Editions