Λογότυπο
Υνιονπαίδεια
Επικοινωνία
Αποκτήστε το στο Google Play
Νέος! Κατεβάστε Υνιονπαίδεια στο Android ™ σας!
Ελεύθερος
Ταχύτερη από τον browser!
 

Μαθηματική λογική

Δείκτης Μαθηματική λογική

Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική.

23 συγγένειες: Κουρτ Γκέντελ, Ντάβιντ Χίλμπερτ, Πληθάριθμος, Τζορτζ Μπουλ, Τζουζέπε Πεάνο, Μπέρτραντ Ράσσελ, Θεωρήματα Μη-Πληρότητας του Γκέντελ, Θεωρία αναδρομής, Θεωρία μοντέλων, Θεωρία συνόλων, Αριστοτέλης, Αύγουστος Ντε Μόργκαν, Αλόνζο Τσερτς, Γιόχαν Χάινριχ Λάμπερτ, Γκέντελ, Γκέοργκ Καντόρ, Γκότλομπ Φρέγκε, Γκότφριντ Βίλχελμ Λάιμπνιτς, Άλαν Τούρινγκ, Άλφρεντ Νορθ Γουάιτχεντ, Άλφρεντ Τάρσκι, Stanford Encyclopedia of Philosophy, 19ος αιώνας.

Κουρτ Γκέντελ

Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου1906 – 14 Ιανουαρίου1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος, ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών.

Νέος!!: Μαθηματική λογική και Κουρτ Γκέντελ · Δείτε περισσότερα »

Ντάβιντ Χίλμπερτ

Ο Ντάβιντ Χίλμπερτ (David Hilbert, Καίνιξμπεργκ, Πρωσία, 23 Ιανουαρίου1862 – Γκέτινγκεν, Γερμανία, 14 Φεβρουαρίου1943) ήταν Γερμανός μαθηματικός.

Νέος!!: Μαθηματική λογική και Ντάβιντ Χίλμπερτ · Δείτε περισσότερα »

Πληθάριθμος

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΠληθικός αριθμός.

Νέος!!: Μαθηματική λογική και Πληθάριθμος · Δείτε περισσότερα »

Τζορτζ Μπουλ

Ο Τζορτζ Μπουλ (σύντομο, 2 Νοεμβρίου1815 – 8 Δεκεμβρίου1864) ήταν Άγγλος μαθηματικός, φιλόσοφος και μελετητής της λογικής.

Νέος!!: Μαθηματική λογική και Τζορτζ Μπουλ · Δείτε περισσότερα »

Τζουζέπε Πεάνο

Ο Τζουζέπε Πεάνο (Giuseppe Peano, Κούνεο, 27 Αυγούστου1858 – Τορίνο, 20 Απριλίου1932) ήταν Ιταλός μαθηματικός και γλωσσολόγος.

Νέος!!: Μαθηματική λογική και Τζουζέπε Πεάνο · Δείτε περισσότερα »

Μπέρτραντ Ράσσελ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Μπέρτραντ Ράσελ.

Νέος!!: Μαθηματική λογική και Μπέρτραντ Ράσσελ · Δείτε περισσότερα »

Θεωρήματα Μη-Πληρότητας του Γκέντελ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Θεωρήματα μη πληρότητας τουΓκέντελ.

Νέος!!: Μαθηματική λογική και Θεωρήματα Μη-Πληρότητας του Γκέντελ · Δείτε περισσότερα »

Θεωρία αναδρομής

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΘεωρία υπολογισμού.

Νέος!!: Μαθηματική λογική και Θεωρία αναδρομής · Δείτε περισσότερα »

Θεωρία μοντέλων

Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές δομές όπως οι ομάδες, τα πεδία, οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής.

Νέος!!: Μαθηματική λογική και Θεωρία μοντέλων · Δείτε περισσότερα »

Θεωρία συνόλων

Ένα Διάγραμμα Βεν πουαπεικονίζει την τομή δύο συνόλων Στα μαθηματικά, θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία πουμελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής.

Νέος!!: Μαθηματική λογική και Θεωρία συνόλων · Δείτε περισσότερα »

Αριστοτέλης

Ο Αριστοτέλης (Αρχαία Στάγειρα, 384 π.Χ. - Αρχαία Χαλκίδα, 322 π.Χ.) ήταν αρχαίος Έλληνας φιλόσοφος και επιστήμονας πουγεννήθηκε στα Στάγειρα της Χαλκιδικής, στη Μακεδονία.

Νέος!!: Μαθηματική λογική και Αριστοτέλης · Δείτε περισσότερα »

Αύγουστος Ντε Μόργκαν

Ο Αύγουστος Ντε Μόργκαν (Αγγλ.:Augustus De Morgan, 27 Ιουνίου1806 - 18 Μαρτίου1871) ήταν Βρετανός μαθηματικός και επιστήμονας της λογικής.

Νέος!!: Μαθηματική λογική και Αύγουστος Ντε Μόργκαν · Δείτε περισσότερα »

Αλόνζο Τσερτς

Ο Αλόνζο Τσερτς (αγγλικά: Alonzo Church) ήταν Αμερικάνος επιστήμονας υπολογιστών, μαθηματικός, φιλόσοφος και καθηγητής, ο οποίος συνείσφερε σημαντικά στην επιστήμη των μαθηματικών, καθώς υπήρξε ένας από τους θεμελιωτές της θεωρητικής επιστήμης υπολογιστών.

Νέος!!: Μαθηματική λογική και Αλόνζο Τσερτς · Δείτε περισσότερα »

Γιόχαν Χάινριχ Λάμπερτ

Ο Γιόχαν Χάινριχ Λάμπερτ (γαλλικά: Johann Heinrich Lambert, 26 ή 28 Αυγούστου1728 - 25 Σεπτεμβρίου1777) ήταν Ελβετός μαθηματικός, φυσικός, αστρονόμος, φιλόσοφος και γενικά ιδιοφυΐα της εποχής τουσε πολλούς επιστημονικούς τομείς.

Νέος!!: Μαθηματική λογική και Γιόχαν Χάινριχ Λάμπερτ · Δείτε περισσότερα »

Γκέντελ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΚουρτ Γκέντελ.

Νέος!!: Μαθηματική λογική και Γκέντελ · Δείτε περισσότερα »

Γκέοργκ Καντόρ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Γκέοργκ Κάντορ.

Νέος!!: Μαθηματική λογική και Γκέοργκ Καντόρ · Δείτε περισσότερα »

Γκότλομπ Φρέγκε

Ο Φρίντριχ Λούντβιχ Γκότλομπ Φρέγκε (Friedrich Ludwig Gottlob Frege, 8 Νοεμβρίου1848 - 26 Ιουλίου1925) ήταν Γερμανός μαθηματικός, λογικολόγος και φιλόσοφος πουεργάστηκε στο Πανεπιστήμιο της Ιένας.

Νέος!!: Μαθηματική λογική και Γκότλομπ Φρέγκε · Δείτε περισσότερα »

Γκότφριντ Βίλχελμ Λάιμπνιτς

Ο Γκότφριντ Βίλχελμ Λάιμπνιτς (Gottfried Wilhelm Leibniz, σερ. Готфрид Вилхелм Лајбниц, 1 Ιουλίου1646, Λειψία − 14 Νοεμβρίου1716, Ανόβερο) ήταν Γερμανός φιλόσοφος καθώς και επιστήμονας της σερβικής προέλευσης, μαθηματικός, διπλωμάτης, φυσικός, ιστορικός, βιβλιοθηκονόμος και διδάκτορας των λαϊκών και εκκλησιαστικών Νομικών.

Νέος!!: Μαθηματική λογική και Γκότφριντ Βίλχελμ Λάιμπνιτς · Δείτε περισσότερα »

Άλαν Τούρινγκ

Ο Άλαν Μάθισον Τούρινγκ ή Τιούρινγκ(Alan Matheson Turing, 23 Ιουνίου1912 – 7 Ιουνίου1954) ήταν Άγγλος μαθηματικός, καθηγητής της λογικής, κρυπτογράφος και θεωρητικός βιολόγος.

Νέος!!: Μαθηματική λογική και Άλαν Τούρινγκ · Δείτε περισσότερα »

Άλφρεντ Νορθ Γουάιτχεντ

Ο Άλφρεντ Νορθ Γουάιτχεντ (Alfred North Whitehead, 15 Φεβρουαρίου1861 – 30 Δεκεμβρίου1947) ήταν Άγγλος μαθηματικός και φιλόσοφος.

Νέος!!: Μαθηματική λογική και Άλφρεντ Νορθ Γουάιτχεντ · Δείτε περισσότερα »

Άλφρεντ Τάρσκι

Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου1901 – 26 Οκτωβρίου1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της σχολής της λογικής Λβιβ–Βαρσοβίας και της σχολής μαθηματικών και φιλοσοφίας της Βαρσοβίας.

Νέος!!: Μαθηματική λογική και Άλφρεντ Τάρσκι · Δείτε περισσότερα »

Stanford Encyclopedia of Philosophy

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΕγκυκλοπαίδεια Φιλοσοφίας τουΣτάνφορντ.

Νέος!!: Μαθηματική λογική και Stanford Encyclopedia of Philosophy · Δείτε περισσότερα »

19ος αιώνας

Δεκαετία 1800 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 Δεκαετία 1810 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 Δεκαετία 1820 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 Δεκαετία 1830 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 Δεκαετία 1840 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 Δεκαετία 1850 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 Δεκαετία 1860 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 Δεκαετία 1870 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 Δεκαετία 1880 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 Δεκαετία 1890 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 Κατηγορία:Αιώνες Κατηγορία:Νεότερη ιστορία.

Νέος!!: Μαθηματική λογική και 19ος αιώνας · Δείτε περισσότερα »

Επαναπροσανατολίζει εδώ:

Τυπική λογική.

ΕξερχόμενοςΕισερχόμενος
Γεια σου! Είμαστε στο Facebook τώρα! »