Θεμέλια των μαθηματικών: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Polyvios (συζήτηση | συνεισφορές)
μΧωρίς σύνοψη επεξεργασίας
συμπλήρωση λήμματος, συνδέσεις, προσθήκη προτύπου, αλλαγές κατηγορίας
Γραμμή 1:
Ο όρος [[θεμέλια των μαθηματικών]] αναφέρεται περιληπτικά σε κλάδους των [[μαθηματικά|μαθηματικών]] ή της [[φιλοσοφία|φιλοσοφίας]], στο μέτρο τουλάχιστον που αυτοί ασχολούνται με την ενοποίηση των [[μαθηματική θεωρία|μαθηματικών θεωριών]].
Ο όρος '''θεμέλια των μαθηματικών''' χρησιμοποιείται ορισμένες φορές σε κάποια πεδία των [[μαθηματικά|μαθηματικών]], όπως η [[μαθηματική λογική]], η [[αξιωματική θεωρία συνόλων]], η [[θεωρία αποδείξεων]] (proof theory), η [[θεωρία μοντέλων]] (model theory) και η [[θεωρία αναδρομής]]. Η αναζήτηση για τα θεμέλια των μαθηματικών είναι επίσης κεντρική ερώτηση της [[φιλοσοφία των μαθηματικών|φιλοσοφίας των μαθηματικών]]: Σε ποιά απόλυτη βάση μπορεί μια [[μαθηματική πρόταση]] να λέγεται [[αληθής]];
 
Από τη μεριά των μαθηματικών, ως τέτοιοι κλάδοι θεωρούνται παραδοσιακά η [[μαθηματική λογική]] και η [[θεωρία συνόλων]], αλλά και η [[θεωρία κατηγοριών]]<ref>Βλέπε στο [http://plato.stanford.edu/entries/category-theory/ σχετικό άρθρο] της [[Εγκυκλοπαίδεια Φιλοσοφίας Στάνφορντ|εγκυκλοπαίδειας Στάνφορντ]].</ref>. Στο χώρο της σύγχρονης φιλοσοφίας, πάνω στη θεμελίωση των μαθηματικών έχουν ασχοληθεί μεταξύ άλλων ο [[Μπέρτραντ Ράσελ|Ράσελ]], ο [[Κουρτ Γκέντελ|Γκέντελ]], ο [[Λουίτσεν Εξμπέρτους Γιαν Μπράουερ|Μπράουερ]] και ο [[Λούντβιχ Βίτγκενσταϊν|Βίτγκενσταϊν]].
 
==Υποσημειώσεις==
{{reflist|2}}
 
:''Το άρθρο αντλεί πληροφορίες από το [[w:en:Foundations of mathematics|αντίστοιχο]] της αγγλόφωνης Wikipedia.''
 
{{Μαθηματικά-επέκταση}}
{{μαθηματικά-κλάδοι}}
[[Κατηγορία:Μαθηματική λογική]]
[[Κατηγορία:Ιστορία των μαθηματικώνΜαθηματικά]]
[[Κατηγορία:Φιλοσοφία των μαθηματικών]]
 
[[en:Foundations of mathematics]]