ΒΙΒΛΙΟ: Mathematical Logic (pdf)

Click on the image.

Σαν σήμερα

Σαν σήμερα, $20$ Σεπτεμβίου, το $1894$, ο Τζουζέπε Πεάνο έγραψε στον Φέλιξ Κλάιν: "Σκοπός της μαθηματικής λογικής είναι η ανάλυση των ιδεών και των συλλογισμών που εμφανίζονται ιδιαίτερα στις μαθηματικές επιστήμες".

ΒΙΒΛΙΟ: Elements of Mathematical Logic and Set Theory (pdf)

Click here.

Αξιώματα Peano

Τα Αξιώματα Peano, που πήραν το όνομά τους από τον Ιταλό μαθηματικό Giuseppe Peano, αποτελούν μια βάση πάνω στην οποία όλοι οι μαθηματικοί μπορούν να εργαστούν με συμφωνία.

ΒΙΒΛΙΟ: Introduction to mathematical logic (pdf)

Click on image.

Τι δήλωση να κάνω ?

Έχω τρία βραβεία και υπόσχομαι ότι θα σου δώσω είτε το $Α$ είτε το $Β$ αν μου δώσεις μια αληθινή δήλωση και θα σου δώσω το $Γ$ αν μου κάνεις ψευδή δήλωση.

α) Τι δήλωση πρέπει να κάνετε αν θέλετε να πάρετε το βραβείο $Α$;

Τώρα φέρνω το βραβείο $Δ$ και σας υπόσχομαι ότι θα σας δώσω είτε το $Α$ είτε το $Β$ εάν μου δώσετε μια αληθινή δήλωση και θα σας δώσω το $Γ$ ή $Δ$ εάν μου δώσετε μια ψευδή δήλωση.

α) Τι δήλωση πρέπει να κάνετε αν θέλετε να πάρετε το βραβείο $ Γ$; 

β) Τι δήλωση πρέπει να κάνετε για να με κάνετε να μην μπορώ να τηρήσω την υπόσχεσή μου;

Τι είναι αξίωμα στα Μαθηματικά;

To αξίωμα ή αρχή στη λογική, είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης. 

Έτσι, αξίωμα είναι μια λογική πρόταση, της οποίας η αλήθεια θεωρείται δεδομένη και χρησιμεύει ως αρχικό σημείο για την αναγωγή και το συμπέρασμα άλλων αληθών προτάσεων, ανάλογα με τη θεωρία που εφαρμόζεται.

Μαθηματική Λογική: Τυπικά συστήματα, τα Θεωρήματα του Gödel, Θεωρία Αποδείξεων

Kάντε κλικ στην εικόνα.

$3\ge 1$ ή $3>1$

Η πρώτη «διαβάζεται» $3$ μεγαλύτερο ή ίσο του $1$, δηλαδή

$3>1\quad\text{ή}\quad3=1$

η δεύτερη $3$ μεγαλύτερο του $1$.

Ποιο είναι το σωστό, κύριε;

Ερώτηση στο κενό

Σωστό ή Λάθος;

\[\big\{ \big\{∅\big\}\big\} ⊂ \big\{∅, \big\{∅\big\}\big\}\]

Κυριακόπουλος Κ. Αντώνης - Μαθηματική Λογική 1977 (2η έκδοση)

Κάντε κλικ στην εικόνα.

Πηγή

Βιβλία και εργασίες του μαθηματικού Αντώνη Κ. Κυριακόπουλου

Κάντε κλικ στην παρακάτω εικόνα και θα βρείτε συγκεντρωμένα τα βιβλία του μαθηματικού Αντώνη Κ. Κυριακόπουλου, τα

οποία μοιράστηκε με τους αγαπητούς φίλους Τάκη Χρονόπουλο (Αγάπη των Μαθηματικών) και Μάκη Χατζόπουλο (Μαθηματικές Σημειώσεις), με την πρόθεση να κοινοποιηθούν δημόσια προς όλους. 

"Όχι" πριν το "Ναι"

"To μυαλό του ανθρώπου λειτουργεί περισσότερο με τη διαίσθηση παρά με τη λογική ,και κατανοεί περισσότερα απ' αυτά που μπορεί να βάλει σε τάξη"

Luc de Clapiers (Vaunenargues) 

Ο ψιθυριστής ψιθυρίζει στο αυτί του Αντώνη έναν τυχαίο φυσικό αριθμό ν. Στο αυτί του Βασίλη ψιθυρίζει τον αριθμό ν+1. Και ο Αντώνης και ο Βασίλης ,πέραν του αριθμού που ακούει ο καθένας ,ενημερώνονται από τον ψιθυριστή ότι έχουν διαδοχικούς φυσικούς αριθμούς, αλλά δεν γνωρίζουν αν ο αριθμός τους είναι ο προηγούμενος ή ο επόμενος. Ο ψιθυριστής ξεκινάει την εξής διαδικασία:

Tο παράδοξο του Επιμενίδη στον Δον Κιχώτη, και το νησί των τιμιαπατεώνων

"Κάλπασε ήρεμα, αφήνοντας στη διάθεση του αλόγου του να τον πάει στην κατεύθυνση που αυτό ήθελε, διότι πίστευε ακλόνητα ότι αυτή η αντίληψη αποτελούσε το ουσιαστικό νόημα της περιπέτειας."

Miguel de Cervantes (Δον Κιχώτης)

H ετυμολογία της λέξης "Παράδοξο" είναι προφανής . Παρά -(την)- Δόξα, δηλαδή αναφορά σε ό,τι είναι αντίθετο με τη γενική άποψη ,τα καθιερωμένα πιστεύω και τη λογική συνέπεια. Έχει περάσει σε όλες σχεδόν τις ευρωπαϊκές γλώσσες (Paradox,κ.λ.π) όπως και η συνώνυμή της λέξη "Αντινομία" (αυτό που αντίκειται στους νόμους της λογικής) επίσης,αλλά σε μικρότερο βαθμό.

▪ Διπλό Σκάκι

"H κρυμμένη αρμονία είναι καλύτερη απ'τη φανερή"

Ηράκλειτος

Το "διπλό" ή ακριβέστερα το "διπλοκίνητο" σκάκι είναι μια παραλλαγή του σκακιού, στην οποία απλώς ο κάθε παίκτης παίζει δύο κινήσεις διαδοχικά, αντί για μία. Ξεκινάει πρώτος πάντα ο Λευκός. Δείξτε ότι υπάρχει μια στρατηγική για τον Λευκό, η οποία του εξασφαλίζει τουλάχιστον την ισοπαλία!

Σημ. Αρκεί να αποδειχτεί η ύπαρξη μιας τέτοιας στρατηγικής.

▪Χρωματισμένα σημεία

"Igitur R.m.9 non est 3.p. nec m. sed quaedam tertia natura abscondita......
Quinquies exscriptus, maneat tot millibus annis"

"Ο αριθμός $\sqrt{−9}$ δεν είναι ούτε $3$ ούτε $-3$, αλλά κάποιο τρίτο είδος κρυμμένο (απόκρυφο)"

.....το αντέγραψα $5$ φορές και ελπίζω να ζήσει $5000$ χρόνια"

Girolamo Cardano "Ars Magna"

Είναι δυνατόν να αντιστοιχήσουμε σε κάθε σημείο του επιπέδου το χρώμα "κόκκινο" ή το χρώμα "πράσινο", με τέτοιον τρόπο ώστε το μέσον κάθε ευθύγραμμου τμήματος που έχει άκρα με το ίδιο χρώμα, να είναι του άλλου χρώματος;

▪ Gödel ∧ ¬Gödel

▪ Tεστ Αντοχής

Αποστολή μας είναι να διαπιστώσουμε την αντοχή ενός νέου σούπερ-ανθεκτικού τηλεφώνου.

Έχουμε 2 τηλέφωνα και έναν ουρανοξύστη 100 ορόφων από τον οποίο μπορούμε να ρίχνουμε το τηλέφωνο, από όποιον όροφο θέλουμε.

Το ζητούμενο είναι ποιο είναι το μεγαλύτερο ύψος (εκφρασμένο σε αριθμό ορόφων) από το οποίο το τηλέφωνο δεν σπάει π.χ μέχρι τον 30ο όροφο δεν σπάει, αν το ρίξουμε από τον 31ο, σπάει.

Αν σπάσουν και τα 2 τηλ. που έχουμε, πριν διαπιστώσουμε τον όροφο "αντοχής", αποτύχαμε.

Ποιος είναι ο ελάχιστος αριθμός ρίψεων με τον οποίο προσδιορίζουμε σίγουρα το ύψος,και με ποια ακριβώς ακολουθία ρίψεων τον πετυχαίνουμε;

ΠΑΡΑΔΟΧΗ: To τηλέφωνο μπορεί να ριχτεί όσες φορές θέλουμε όσο δεν σπάει, χωρίς να εξασθενεί.

ΑΠΑΝΤΗΣΗ: Αρκούν 14 ρίψεις, το πολύ. Αρχικά ρίχνουμε το πρώτο τηλ. από τον 14ο όροφο. Αν σπάσει μπορούμε με το δεύτερο τηλ. να προσδιορίσουμε τον όροφο σε ακόμη 13 το πολύ προσπάθειες ,ξεκινώντας από τον 1ο και ανεβαίνοντας έναν όροφο τη φορά.

Αν το πρώτο τηλέφωνο δεν σπάσει στην πτώση από τον 14, το ξαναρίχνουμε από τον 27ο (14+13=27).Αν σπάσει ,προσδιορίζουμε τον ενδιάμεσο όροφο με άλλες 12 το πολύ ακόμη ρίψεις.

Αν δεν σπάσει στην πτώση από τον 27ο το ξαναρίχνουμε από τον 39ο. (14+13+12)......ενδιαμέσως το πολύ άλλες 11 ρίψεις.

Και η διαδικασία επαναλαμβάνεται , συνεχώς πηγαίνοντας έναν όροφο μείον απότι στην τελευταία ρίψη, έως ότου σπάσει το πρώτο τηλέφωνο. 

Αν γενικά σπάσει στη ν-οστή ρίψη θα χρειαζόμαστε ακόμη το πολύ 14-ν ρίψεις με το δεύτερο τηλέφωνο.

Αν φτάσουμε (για πολύ ανθεκτικά τηλέφωνα..) στην 11η επανάληψη της διαδικασίας θα είμαστε στον 99ο όροφο.

Μαθ.εξήγηση: 1+2+3+4+...+14=105 

▪ Πρόβλημα Λογικής

1.Κάποιοι μαθηματικοί είναι φιλόσοφοι

2.Οι Αθάνατοι έχουν άγνοια Φιλοσοφίας

3.Κανένας ποιητής δεν κατέχει Μαθηματικά

4.Όλοι οι θνητοί είναι ποιητές.

Είναι οι 4 προτάσεις λογικώς συμβατές μεταξύ τους; 

Εισήγηση Ημερίδας Μαθηματικών (Βέροια 20/02/2011) - Η σωστή χρήση των συμβόλων «συνεπάγεται» και «ισοδυναμίας»

 του Νίκου Ιωσηφίδη