Schneller Zugriff als Browser!
32 Beziehungen: Andrei Nikolajewitsch Kolmogorow, Arend Heyting, Aussagenlogik, Beweis (Mathematik), Computerprogramm, Coq (Software), Curry-Howard-Isomorphismus, Datentyp, Gödelscher Unvollständigkeitssatz, Goldbachsche Vermutung, Gotthard Günther, Grundlagenkrise der Mathematik, Hermann Weyl, Junktor, Kalkül, Klassische Logik, Kontinuumshypothese, Kurt Gödel, Luitzen Egbertus Jan Brouwer, Mathematischer Konstruktivismus, Modelltheorie, Paul Lorenzen, Philosophie, Philosophie der Mathematik, Platonismus, Prädikatenlogik, Reductio ad absurdum, Satz vom ausgeschlossenen Dritten, Satz vom Widerspruch, Saul Kripke, Stephen Cole Kleene, Wahrheitswert.
Andrei Nikolajewitsch Kolmogorow
Andrei Nikolajewitsch Kolmogorow Andrei Nikolajewitsch Kolmogorow (wissenschaftliche Transliteration Andrej Nikolaevič Kolmogorov; * in Tambow; † 20. Oktober 1987 in Moskau) war ein sowjetischer Mathematiker und einer der bedeutendsten Mathematiker des 20. Jahrhunderts.
Neu!!: Intuitionismus (Logik und Mathematik) und Andrei Nikolajewitsch Kolmogorow · Mehr sehen »
Arend Heyting
Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Arend Heyting · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Intuitionismus (Logik und Mathematik) und Aussagenlogik · Mehr sehen »
Beweis (Mathematik)
Beispielhafter, schematischer Aufbau eines Beweises Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw.
Neu!!: Intuitionismus (Logik und Mathematik) und Beweis (Mathematik) · Mehr sehen »
Computerprogramm
Ein Computerprogramm oder kurz Programm ist eine den Regeln einer bestimmten Programmiersprache genügende Folge von Anweisungen (bestehend aus Deklarationen und Instruktionen), um bestimmte Funktionen bzw.
Neu!!: Intuitionismus (Logik und Mathematik) und Computerprogramm · Mehr sehen »
Coq (Software)
Coq ist eine freie Software zum maschinengestützten Beweisen mathematischer Aussagen.
Neu!!: Intuitionismus (Logik und Mathematik) und Coq (Software) · Mehr sehen »
Curry-Howard-Isomorphismus
Als Curry-Howard-Isomorphismus (auch Curry-Howard-Korrespondenz) bezeichnet man die Interpretation von Typen als logische Aussagen und von Termen eines bestimmten Typs als Beweise der zum Typ gehörenden Aussage; und umgekehrt.
Neu!!: Intuitionismus (Logik und Mathematik) und Curry-Howard-Isomorphismus · Mehr sehen »
Datentyp
Formal bezeichnet ein Datentyp (vom englischen data type) oder eine Datenart in der Informatik die Zusammenfassung von Objektmengen mit den darauf definierten Operationen.
Neu!!: Intuitionismus (Logik und Mathematik) und Datentyp · Mehr sehen »
Gödelscher Unvollständigkeitssatz
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
Neu!!: Intuitionismus (Logik und Mathematik) und Gödelscher Unvollständigkeitssatz · Mehr sehen »
Goldbachsche Vermutung
Brief von Goldbach an Euler vom 7. Juni 1742 (lateinisch-deutsch)In Druckschrift in Paul Heinrich Fuss (Hrsg.): ''Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle.'' (Band 1), St.-Pétersbourg 1843, http://books.google.com/books?id.
Neu!!: Intuitionismus (Logik und Mathematik) und Goldbachsche Vermutung · Mehr sehen »
Gotthard Günther
Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Provinz Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Gotthard Günther · Mehr sehen »
Grundlagenkrise der Mathematik
Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Anfang des 20.
Neu!!: Intuitionismus (Logik und Mathematik) und Grundlagenkrise der Mathematik · Mehr sehen »
Hermann Weyl
Hermann Weyl Hermann Weyl (links) mit Ernst Peschl Hermann Klaus Hugo Weyl (* 9. November 1885 in Elmshorn; † 8. Dezember 1955 in Zürich) war ein deutscher Mathematiker, Physiker und Philosoph, der wegen seines breiten Interessensgebiets von der Zahlentheorie bis zur theoretischen Physik und Philosophie als einer der letzten mathematischen Universalisten gilt.
Neu!!: Intuitionismus (Logik und Mathematik) und Hermann Weyl · Mehr sehen »
Junktor
Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.
Neu!!: Intuitionismus (Logik und Mathematik) und Junktor · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Intuitionismus (Logik und Mathematik) und Kalkül · Mehr sehen »
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Neu!!: Intuitionismus (Logik und Mathematik) und Klassische Logik · Mehr sehen »
Kontinuumshypothese
Die Mächtigkeit des Kontinuums bleibt in ZFC unbestimmt Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen.
Neu!!: Intuitionismus (Logik und Mathematik) und Kontinuumshypothese · Mehr sehen »
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.
Neu!!: Intuitionismus (Logik und Mathematik) und Kurt Gödel · Mehr sehen »
Luitzen Egbertus Jan Brouwer
Harald Bohr und Bertus Brouwer (1932) Luitzen Egbertus Jan (Bertus) Brouwer (* 27. Februar 1881 in Overschie (heute zu Rotterdam); † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Luitzen Egbertus Jan Brouwer · Mehr sehen »
Mathematischer Konstruktivismus
Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den ontologischen Standpunkt vertritt, dass die Existenz mathematischer Objekte durch ihre Konstruktion zu begründen ist.
Neu!!: Intuitionismus (Logik und Mathematik) und Mathematischer Konstruktivismus · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Intuitionismus (Logik und Mathematik) und Modelltheorie · Mehr sehen »
Paul Lorenzen
Paul Lorenzen (1967) Paul Peter Wilhelm Lorenzen (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und Logiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Paul Lorenzen · Mehr sehen »
Philosophie
Raffaels Schule von Athen mit den idealisierten Darstellungen der Gründerväter der abendländischen Philosophie. Obwohl seit Platon vor allem eine Sache der schriftlichen Abhandlung, ist das angeregte Gespräch bis heute ein wichtiger Bestandteil des philosophischen Lebens. In der Philosophie (philosophía, latinisiert philosophia, wörtlich „Liebe zur Weisheit“) wird versucht, die Welt und die menschliche Existenz zu ergründen, zu deuten und zu verstehen.
Neu!!: Intuitionismus (Logik und Mathematik) und Philosophie · Mehr sehen »
Philosophie der Mathematik
Die Philosophie der Mathematik ist ein Bereich der theoretischen Philosophie, der anstrebt, Voraussetzungen, Gegenstand, Methode und Natur der Mathematik zu verstehen und zu erklären.
Neu!!: Intuitionismus (Logik und Mathematik) und Philosophie der Mathematik · Mehr sehen »
Platonismus
Platonismus und Platoniker (Anhänger des Platonismus) sind Begriffe, die in verschiedenen Bedeutungen verwendet werden.
Neu!!: Intuitionismus (Logik und Mathematik) und Platonismus · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Intuitionismus (Logik und Mathematik) und Prädikatenlogik · Mehr sehen »
Reductio ad absurdum
Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik.
Neu!!: Intuitionismus (Logik und Mathematik) und Reductio ad absurdum · Mehr sehen »
Satz vom ausgeschlossenen Dritten
Der Satz vom ausgeschlossenen Dritten (wörtlich „ein Drittes ist nicht gegeben“ oder „ein Drittes gibt es nicht“;, LEM) oder Prinzip des zwischen zwei kontradiktorischen Gegensätzen stehenden ausgeschlossenen Mittleren (lat. principium exclusi tertii sive medii inter duo contradictoria) ist ein logisches Grundprinzip und Axiom, das besagt, dass für eine beliebige Aussage nur die Aussage selbst oder ihr (komplementäres) Gegenteil gelten kann; eine dritte Möglichkeit, also dass lediglich etwas Mittleres gilt, das weder die Aussage ist noch ihr Gegenteil, sondern irgendetwas dazwischen, kann es nicht geben.
Neu!!: Intuitionismus (Logik und Mathematik) und Satz vom ausgeschlossenen Dritten · Mehr sehen »
Satz vom Widerspruch
Der Satz vom Widerspruch oder Satz vom ausgeschlossenen Widerspruch besagt, dass zwei einander in derselben Hinsicht widersprechende Aussagen nicht zugleich zutreffen können.
Neu!!: Intuitionismus (Logik und Mathematik) und Satz vom Widerspruch · Mehr sehen »
Saul Kripke
Saul Kripke (2005) Saul Aaron Kripke (* 13. November 1940 in Bay Shore, Long Island, New York; † 15. September 2022 in Plainsboro, New Jersey) war ein amerikanischer Philosoph und Logiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Saul Kripke · Mehr sehen »
Stephen Cole Kleene
Kleene 1978 Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker.
Neu!!: Intuitionismus (Logik und Mathematik) und Stephen Cole Kleene · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Intuitionismus (Logik und Mathematik) und Wahrheitswert · Mehr sehen »
Leitet hier um:
Intuitionistische Logik, Intuitionistische Mathematik, Mathematischer Intuitionismus.
