Κουρτ Γκέντελ, ο χαϊδεμένος των παραμυθάδων
Ομιλητής Τεύκρος Μιχαηλίδης Η διερεύνηση της συνέπειας και της πληρότητας ενός αξιωματικού συστήματος είναι μια από τις πιο σκοτεινές και μυστηριώδεις περιοχές της μαθηματικής λογικής, ίσως και του συνόλου των μαθηματικών. Είναι, λοιπόν, απορίας άξιον, με μια πρώτη ματιά τουλάχιστον, το πώς ένα τέτοιο θέμα μπορεί να αποτελέσει πηγή έμπνευσης για τη μυθοπλασία. Κι όμως, […]
