Το θεώρημα μη πληρότητας του Godel

Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Pea...

Full description

Saved in:

Bibliographic Details
Main Author:	Κολιώνης, Γιώργος - Λεωνίδας
Other Authors:	Φελουζής, Ευάγγελος
Language:	Greek
Published:	2015
Subjects:	Μαθηματική λογική Mathematical logic Gödel's theorem
Online Access:	https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=SblO9F94C8A4pqB12FB5EA8FAB&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2005%20.1.88525&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/7986
Tags:	Add Tag No Tags, Be the first to tag this record!

_version_	1828461918141022208
author	Κολιώνης, Γιώργος - Λεωνίδας
author2	Φελουζής, Ευάγγελος
author_facet	Φελουζής, Ευάγγελος Κολιώνης, Γιώργος - Λεωνίδας
author_sort	Κολιώνης, Γιώργος - Λεωνίδας
collection	DSpace
description	Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Peano χωρίς τη χρήση της εκθετικής συνάρτησης, με την προϋπόθεση της ω-συνέπειας. Σύντομη ιστορική αναδρομή.
id	oai:hellanicus.lib.aegean.gr:11610-7986
institution	Hellanicus
language	Greek
publishDate	2015
record_format	dspace
spelling	oai:hellanicus.lib.aegean.gr:11610-79862025-02-07T14:20:35Z Το θεώρημα μη πληρότητας του Godel Κολιώνης, Γιώργος - Λεωνίδας Φελουζής, Ευάγγελος Μαθηματική λογική Mathematical logic Gödel's theorem Παρουσίαση της απόδειξης του Θεωρήματος Μη Πληρότητας του Godel. Προσέγγιση μέσω του Θεωρήματος του Tarki με χρήση ορισμού της αλήθειας ακριβώς όπως ακολουθείται από τον R.Smullyan: " Godel's Incompleteness Theprems". Σταδιακή απόδειξη της τελικής διατύπωσης για την αριθμητική του Peano χωρίς τη χρήση της εκθετικής συνάρτησης, με την προϋπόθεση της ω-συνέπειας. Σύντομη ιστορική αναδρομή. 2015-11-17T10:29:51Z 2015-11-17T10:29:51Z 2003 https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=SblO9F94C8A4pqB12FB5EA8FAB&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2005%20.1.88525&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/7986 el application/pdf Σάμος
spellingShingle	Μαθηματική λογική Mathematical logic Gödel's theorem Κολιώνης, Γιώργος - Λεωνίδας Το θεώρημα μη πληρότητας του Godel
title	Το θεώρημα μη πληρότητας του Godel
title_full	Το θεώρημα μη πληρότητας του Godel
title_fullStr	Το θεώρημα μη πληρότητας του Godel
title_full_unstemmed	Το θεώρημα μη πληρότητας του Godel
title_short	Το θεώρημα μη πληρότητας του Godel
title_sort	το θεώρημα μη πληρότητας του godel
topic	Μαθηματική λογική Mathematical logic Gödel's theorem
url	https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=SblO9F94C8A4pqB12FB5EA8FAB&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2005%20.1.88525&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/7986
work_keys_str_mv	AT koliōnēsgiōrgosleōnidas totheōrēmamēplērotētastougodel

Το θεώρημα μη πληρότητας του Godel

Similar Items