Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Heyting, A.
 
Books on Amazon
Intuitionism Arend Heyting Ein Streitgespräch 1956 in Kursbuch 8 Mathematik 1967
59ff
Intuitionismus/Heyting: Brouwer untersuchte die gedankliche mathematische Konstruktion als solche, ohne nach der Natur der Dinge zu fragen, etwa, ob diese Dinge unabhängig von unserer Kenntnis über sie existieren.
60
Satz vom ausgeschlossenen Dritten: Bsp Nichtgültigkeit des Satzes vom ausgeschlossenen Dritten: vergleichen wir die Definitionen zweier natürlicher Zahlen, k und l.
(a) k ist die größte Primzahl von der Art, dass k 1 auch eine Primzahl ist, wenn es keine solche Zahl gibt, ist k = 1
(b) l ist die größte Primzahl von der Art, dass l 2 auch eine Primzahl ist, wenn es keine solche Zahl gibt, ist l = 1.
Intuitionisten lehnen b) als Definition einer ganzen Zahl ab. k kann wirklich errechnet werden (k=3) während wir keine Methode haben, l zu ermitteln, da es nicht bekannt ist, ob die Folge der Primzahlzwillinge unendlich ist oder nicht. Die Intuitionisten betrachten etwas nur als wohldefiniert, wenn eine Methode zur Ermittlung gegeben ist.

Klassische Mathematik: man kann doch einwenden, dass der Umfang unseres Wissens über die Existenz des letzten Zwillings rein zufällig ist. Und gänzlich belanglos in Fragen der mathematischen Wahrheit.

Existenz/Intuitionismus/Heyting: das Argument des Vertreters der klassischen Mathematik ist metaphysischer Art. Wenn existieren nicht "konstruierbar" heißt, muss es metaphysische Bedeutung haben.

61
Klassische Mathematik/VsIntuitionism/Heyting: Angenommen, am 1. Jan. 1970 wird bewiesen, dass es unendlich viele Zwillinge gibt, l also gleich 1 ist. War es an vor dem Datum nicht so? (Menger 1930)

Intuitionismus/Heyting: Eine mathematische Behauptung stellt fest, dass eine gewisse Konstruktion möglich ist. Bevor es die Konstruktion gibt, gibt es sie nicht. Sogar die Intuitionisten sind überzeugt, dass Mathematik in irgendeinem Sinn auf ewigen Wahrheiten beruht, aber wenn man versucht, diesen Sinn zu definieren, verfängt man sich in Metaphysik.

62
Formalismus/Carnap/Heyting: Es bleibt immer der Zweifel, welche Schlussweisen korrekt sind, und welche nicht. (Carnap, 1934)

63
Intuitionismus: wir sind gerade nicht an der formalen Seite interessiert, sondern gerade an der Art von Schlüssen in der Metamathematik. Es gibt eine grundsätzliche Mehrdeutigkeit der Sprache.


Klassische Mathematik: Die Semantiker sind noch schlimmere Relativisten als die Formalisten und Intuitionisten.

65
Intuitionismus: Es gibt eine Intuitionistische Logik. Bsp Transitivität...p. 65 Schlussfolgerung: Logik ist ein Teil der Mathematik und kann daher nicht als ihre Grundlage genommen werden.
Heyting, A.


> Counter arguments in relation to Intuitionism



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-25