Μεταμαθηματικά
Είναι ένας Επιστημονικός Κλάδος των Μαθηματικών.
Ετυμολογία[]
Η ονομασία " Μεταμαθηματικά" σχετίζεται ετυμολογικά με την λέξη "Μαθηματικά ".
Εισαγωγή[]
Ιστορία[]
Τα Μαθηματικά ταυτίζονται με τον φορμαλισμό, την τελειότητα, τον απόλυτο υπολογισμό, την πλήρη τυπικότητα, την πληρότητα, την αδιαμφισβήτητη βεβαιότητα.
Ο «βασιλέας των Μεταμαθηματικών», ο εκκεντρικός Κουρτ Gondel, το 1931 δημοσίευσε το διαβόητο "θεώρημα της μη-πληρότητας".
Ο «πατέρας των υπολογιστών», ο μαθηματικός Άλαν Turing, το 1936 συγκλόνισε τον κόσμο παρουσιάζοντας τον πρώτο ψηφιακό υπολογιστή και τη θεωρία του για τη "μη-υπολογισιμότητα".
Στα ίχνη αυτών των δύο γιγάντων του 20ού αιώνα, ο πρωτοπόρος διανοητής Γκρέγκορι Chaitin, παρουσίασε τον απόλυτο συμβολισμό της άπειρης πολυπλοκότητας: τον αριθμό Ω.
Ωστόσο, το όραμα του Hilbert –που ήθελε τον φορμαλισμό να είναι η Θεωρία των Πάντων στα μαθηματικά–, μολονότι έχει συμπληρώσει έναν αιώνα ζωής, σηματοδοτεί ακόμη την πορεία των καθιερωμένων Μαθηματικών. Όμως, ο φορμαλισμός απευθύνεται στις μηχανές, όχι στους ανθρώπους.
Ανάλυση[]
Υποσημειώσεις[]
Εσωτερική Αρθρογραφία[]
Βιβλιογραφία[]
- Casti, J. L, and W. DePauli 2000.
- Gödel : a Life of Logic: Cambridge, Mass.: Perseus Publishing.
- Chaitin, G. J. 1975. Randomness and mathematical proof.Scientific American 232(5): 47-52.
- Chaitin, GJ. 1988. Randomness in arithmetic. Scientific American
- Hofstadter,D.R. 1979. Gödel, Escher, Bach: An Eternal GoldenBraid. New York: Basic Books.
- Nagel, E., and J.R. Newman. 1956. Gödel 's Proof. Scientific American
- Nagel, E., and J.R. Newman. 1958. Gödel's Proof. New York: New York University Press.
- Gregory J. Chatin, "Computers, Paradoxes and the Foundations of Mathematics", American Scientist: March – April 2002 .
Ιστογραφία[]
Κίνδυνοι Χρήσης |
---|
Αν και θα βρείτε εξακριβωμένες πληροφορίες "Οι πληροφορίες αυτές μπορεί πρόσφατα Πρέπει να λάβετε υπ' όψη ότι Επίσης, |
- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν
- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)