5/3/08

H Φύση των Φυσικών


Για να προχωρήσουμε περαιτέρω στο θέμα, πρέπει όλοι να αντιληφθούμε την έννοια του συνόλου. Στα μαθηματικά δεν υπάρχει αυστηρός ορισμός της έννοιας αυτής (παλιότερα δοκιμάστικε το "μια ομάδα -μαθηματικών και μη- οντοτήτων που πληρούν μια κοινή ιδιότητα", αλλά αυτό οδήγησε σε παράδοξο). Φαντάζομαι, όλοι μπορούμε κατανοήσουμε είτε διαισθητικά, είτε βασιζόμενοι στον προηγούμενο ορισμό (αν και λανθασμένος)την έννοια του συνόλου. Ένα πολύ γνωστό σύνολο με το οποίο συναναστρεφόμαστε καθημερινά δεν είναι άλλο από αυτό των φυσικών αριθμών. Αλήθεια, τί είναι φυσικοί αριθμοί; Φαντάζομαι οι περισσότεροι από σας θα έφερναν στο μυαλό τους τις αριθμούς 1,2,3... Κάποιοι τους αριθμούς 0,1,2,3... (αν και πολλοί θα εξεγείρονταν με την προηγούμενη άποψη) ή κάποιοι θα τους φαντάζονταν ως "ολότητα με την έννοια του συνόλου |Ν={0,1,2...} (με ή χωρίς το 0, η αλήθεια είναι ότι αυτό αφήνεται ουσιαστικά στην προσωπική κρίση του συγγραφέα του εκάστοτε μαθηματικού βιβλίου το οποίο διαβάζεται. Όμως, τι στην πραγματικότητα είναι φυσικοί αριθμοί; Η αλήθεια είναι ότι έχει γίνει προσπάθεια να οριστούν οι φυσικοί αριθμοί και μάλιστα ο μαθηματικός ονόματι Peano έχει δώσει αξιώματα βάση των οποίων θεμελιώνονται οι φυσικοί αριθμοί. Με λίγα λόγια, το σύνολο των φυσικών είναι το μικρότερο σύνολο που: 1) περιέχει το κενό σύνολο (το οποίο ουσιαστικά είναι σύνολο το οποίο δεν περιέχει κανένα στοιχείο -ω ναι, υπάρχει και τέτοιο- (και στους φυσικούς αριθμούς ουσιαστικά ορίζεται ως το -ποιό άλλο;- παρά το 0) 2) για κάθε στοιχείο που ανήκει στο σύνολο, ισχύει ότι και το επόμενό του ανήκει σε αυτό και 3) αν τα επόμενα 2 στοιχείων που ανήκουν στο σύνολο είναι ίσα τότε και τα ίδια τα στοιχεία είναι ίσα. Είδατε εσείς πουθενά να αναφέρονται χαρακτηριστικά οι αριθμοί 1,2,3...; Εγώ πάντως όχι. Τί θέλω να πώ με αυτό ; Πολύ απλά, το ερώτημα είναι, αν ξεχάσουμε την έννοια "αριθμοί" γιατί να μην μπορούμε να πούμε ότι το σύνολο των φυσικών είναι μια ακολουθία από καρέκλες, μια ακολουθία από χαρτιά ή από οποιοδήποτε μαθηματικό και μη αντικείμενο πληρεί τα παραπάνω αξιώματα; Περίεργο ακούγεται έτσι; Για σκεφτείτε το...

Υ.Γ: Πολλοί ίσως αντιδράσουν ακόμη και στην ιδέα της σκέψης της παραπάνω άποψης, όμως στα μαθηματικά όπως και σε όλες τις άλλες επιστήμες (αν δεχθούμε ότι υπάρχουν και άλλες) καλό θα ήταν να είμαστε ανοικτοί σε όλες τις "εκδοχές".

(by Χρήστος)

4 σχόλια:

Ανώνυμος είπε...

Φυσικα και θα πρεπει να ειμαστε ανοιχτοι σε λεπτομερειες....Ωστοσο δεν καταλαβα τι ακριβως εννοεις με την φραση "όπως και σε όλες τις άλλες επιστήμες (αν δεχθούμε ότι υπάρχουν και άλλες)". Γιατι μου φαινεται λιγο αρνητικο αυτο το σχολιο....

Χρήστος είπε...

Ο σκοπός της παρένθεσης βεβαίως και δεν ήταν η επίθεση και η υποτίμηση κάποιου άλλου επιστημονικού κλάδου πλην των μαθηματικών, αλλά η απλή, αγνή και καλοπροαίρετη πάντα πλάκα. Ουσιαστικά είναι αναφορά στην "αιώνια έχθρα" μεταξύ μαθηματικών και φυσικών (ή άλλων επιστημόνων)... Αγγλικό φλεγματικό χιούμορ :P.

Quantum Chemist είπε...

Α μαλιστα!! Ναι απλα δεν το καταλαβα καλα...Καλη δουλεια παντως με το blog! Συνεχιστε ετσι!!

τα μαθηματικά συμβαίνουν είπε...

α πολύ μου άρεσε το "αν δεχθούμε ότι υπάρχουν και άλλες".

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

ντάξει πλάκα κάνουμε με τις επιστήμες, αλλά το συνεχίζω εγώ, υπονοόντας ότι, με τη λογική της διαψευσιμότητας, μόνο τα μαθηματικά είναι επιστήμη.. :))