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. Der Konstruktivismus kann eine objektivistische (ein mathematisches Objekt existiert unabhängig vom Denken, seine Existenz wird aber erst durch seine Konstruktion begründet) und eine subjektivistische Form einnehmen (ein mathematisches Objekt entsteht als Produkt der konstruierenden Intuition des Mathematikers und wird von ihm dabei überhaupt erst hergestellt, Intuitionismus). Mathematische Aussagen der Form „Es gibt …“ werden abgelehnt und – wenn möglich – ersetzt durch Sätze der Form „Wir können … konstruieren“ (bspw. „Es gibt irrationale Zahlen <math>a</math>, <math>b</math>, so dass <math>a^b</math> rational ist“ vs. „Wir können solche Zahlen <math>a</math>, <math>b</math> konstruieren“).<ref>{{#if: Douglas Bridges | Douglas Bridges: }}{{#if: Constructive Mathematics | Constructive Mathematics. | Eintrag}} {{#if: Constructive Mathematics | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: https://plato.stanford.edu/entries/mathematics-constructive/ | {{#if: Constructive MathematicsDouglas Bridges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Douglas Bridges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Constructive Mathematics | | 1 }} }}|}}</ref>
Entwicklung
Erste Ansätze zur konstruktiven Mathematik stammen aus dem Intuitionismus von L. E. J. Brouwer. Weitere Ansätze wurden von Hermann Weyl, Andrei Nikolajewitsch Kolmogorow und Errett Bishop, Arend Heyting, Solomon Feferman, Paul Lorenzen, Michael J. Beeson und Anne Sjerp Troelstra entwickelt. Hermann Weyl hat zuerst einen Intuitionismus vertreten, der durch die husserlsche Phänomenologie geprägt ist, sich aber später vom Intuitionismus distanziert und sich dem Formalismus im Sinne des fichteschen Konstruktivismus (Wissenschaft als „symbolische Konstruktion“) angenähert.<ref> Sieroka, Umgebungen. Symbolischer Konstruktivismus im Anschluss an Hermann Weyl und Fritz Medicus. Chronos, Zürich 2010, Verlagsseite zum Buch</ref>
Theorie
In einem konstruktiven Beweis werden die mathematischen Objekte und Lösungen von Problemen tatsächlich konstruiert.
Die konstruktive Mathematik vermeidet ausdrücklich nicht-konstruktive Beweise und kommt mit der intuitionistischen Logik aus, die keine nicht-konstruktiven Beweise zulässt. Wird etwa (wie in einem indirekten Beweis) aus der Falschheit einer negierten Behauptung diese Behauptung selbst gefolgert, so wird dabei eine logische Schlussform verwendet, die nicht zur Konstruktion zwingt.<ref>Zum Verhältnis von Konstruktivismus und Intuitionismus siehe auch Matthias Baaz, Rosalie Iemhoff: <templatestyles src="Webarchiv/styles.css" />{{#if:20080424170753
| {{#ifeq: 20080424170753 | *
| {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20080424170753}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20080424170753}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Konstruktivismus und Intuitionismus | {{#invoke:WLink|getEscapedTitle|Konstruktivismus und Intuitionismus}} | {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20080424170753|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.phil.uu.nl/~iemhoff/intui.ps}}
|| {{#if: || }}
}}{{#if: Konstruktivismus und Intuitionismus
| {{#if: {{#invoke:WLink|isBracketedLink|Konstruktivismus und Intuitionismus}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.phil.uu.nl/~iemhoff/intui.ps%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.phil.uu.nl/~iemhoff/intui.ps%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.phil.uu.nl/~iemhoff/intui.ps }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}} (PostScript; 267 kB) In: Internationale Mathematische Nachrichten 201 (2006; PDF; 1,3 MB)</ref> Der wesentliche Kernpunkt des Konstruktivismus besteht also darin, nur jene Sätze zu formulieren, deren Objekte (und Problemlösungen) konstruierbar sind. Dieser Anspruch führt dazu, Anwendungen des Satzes vom ausgeschlossenen Dritten sowie des Auswahlaxioms abzulehnen, da mit beiden Sätzen<ref>Vgl.: Bridges, l. c.! Ohnehin benutzt bereits das Auswahlaxiom den Satz von ausgeschlossenen Dritten: N. D. Goodman, J. Myhill: Choice Implies Excluded Middle. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 24, 1978, S. 461.</ref> auch Aussagen über mathematische Objekte (bzw. Lösungen) hergeleitet werden können, ohne anzugeben, wie diese konstruiert werden.
In der Arithmetik lässt sich immer beides durchführen, konstruktive Beweise und nicht-konstruktive Beweise. Die eigentliche Diskussion um die Grundlagen der Mathematik tritt erst in der Analysis auf:
Reelle Zahlen lassen sich auf der Konvergenztheorie für rationale Zahlen aufbauend als Äquivalenzklassen einer geeignet gewählten Äquivalenzrelation auf den rationalen Cauchy-Folgen definieren. Eine irrationale Zahl ist dann also, ähnlich wie die ihnen zugrunde liegenden rationalen Zahlen, eine Menge.<ref>Bei Paul Lorenzen wird dagegen eine irrationale Zahl durch Abstraktion bestimmt. Von den Unterschieden zweier Folgen wird abgesehen, wenn ihre Differenz eine Nullfolge ist.</ref>
Beispiel:
- <math>a_1:=1,\quad a_{i+1}:=\frac{a_i}{2} + \frac{1}{a_i}</math>
Die Folge <math>\left(a_i\right)_{i\in \mathbb{N}}</math> hat als rationale Zahlenfolge keinen Grenzwert. Sie ist aber eine Cauchyfolge. Die Menge der zu <math>\left(a_i\right)_{i\in \mathbb{N}}</math> äquivalenten rationalen Cauchyfolgen, <math>\left[\left(a_i\right)_{i\in \mathbb{N}}\right]</math>, wird mit dem Symbol <math>\sqrt{2}</math> bezeichnet, erst einmal ohne dass die Wurzel eine Bedeutung hätte. Für Äquivalenzklassen werden dann die Verknüpfungen <math> + </math> und <math> \cdot </math> eingeführt und es zeigt sich, dass tatsächlich <math> \sqrt{2} \cdot \sqrt{2} = \left[2\right] </math> gilt.
So lassen sich als Grundlage für eine konstruktivistische Analysis alle nötigen reellen Zahlen bestimmen. Da eine Menge mit ausschließlich konstruierten reellen Zahlen nie alle reellen Zahlen enthalten kann, betrachten Konstruktivisten immer nur konstruierbare Teilmengen der Menge aller reellen Zahlen <math>\mathbb{R}</math> oder benutzen indefinite Quantoren (das Wort alle wird dann nicht wie in der konstruktiven Logik benutzt) zur Bestimmung von <math>\mathbb{R}</math>.
Da jede Konstruktionsanweisung eine endliche Folge von Anweisungen aus einer endlichen Menge <math>\Sigma</math> ist, gibt es eine bijektive Funktion <math>f\colon \Sigma^* \rightarrow \mathbb N</math>. (Dabei ist <math>\Sigma^*</math> die Menge aller Wörter über <math>\Sigma</math>.) Also sind diese konstruktivistischen Mengen reeller Zahlen abzählbar. Aus Cantors Diagonalbeweis folgt, dass die jeweilige Menge konstruktivistisch-reeller Zahlen eine niedrigere Kardinalität hat als die Menge aller reellen Zahlen und somit eine echte Teilmenge von ihr ist. Konstruktivisten vertreten den Standpunkt, dass man nur konstruierbare reelle Zahlen für Anwendungen braucht, und fassen die cantorschen Diagonalargumente als Konstruktionsvorschrift auf, Mengen reeller Zahlen abzählbar zu erweitern.<ref>vergleiche: Paul Lorenzen, Elementargeometrie</ref>
Siehe auch
Schriften konstruktiver Mathematiker
- Paul du Bois-Reymond: Allgemeine Functionentheorie. Tübingen 1882.
- Michael Beeson: Foundations of Constructive Mathematics. Springer-Verlag, Heidelberg 1985.
- Errett Bishop: Foundations of Constructive Analysis. McGraw-Hill, New York 1967.
- D. Bridges, F. Richman: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97, Cambridge: Cambridge University Press 1987.
- Leopold Kronecker: Vorlesungen über die Theorie der einfachen und der vielfachen Integrale. Netto, Eugen, Leipzig Teubner (Hrsg.): 1894
- P. Martin-Löf: Notes on Constructive Analysis. Almquist & Wixsell, Stockholm 1968.
- Paul Lorenzen: Maß und Integral in der konstruktiven Analysis. In: Mathematische Zeitung 54: 275. (online)
- Paul Lorenzen: Einführung in die operative Logik und Mathematik. Berlin / Göttingen / Heidelberg 1955.
- Paul Lorenzen: Metamathematik. Mannheim 1962.
- Paul Lorenzen: Differential und Integral. Eine konstruktive Einführung in die klassische Analysis. Frankfurt 1965.
- Paul Lorenzen: Konstruktive Wissenschaftstheorie. Frankfurt 1974.
- Paul Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie. Metzler, Stuttgart 2000, ISBN 3-476-01784-2.
- Paul Lorenzen: Elementargeometrie als Fundament der Analytischen Geometrie. Mannheim / Zürich / Wien 1983, ISBN 3-411-00400-2.
- Peter Zahn: Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis. 1978, ISBN 3-534-07767-9.
Literatur
- J. J. O’Connor, E. F. Robertson: Errett Albert Bishop. MacTutor History of Mathematics. November 2004
- Konstruktivismus. In: Michel Serres, Nayla Farouki: Thesaurus der exakten Wissenschaften. Zweitausendeins, Frankfurt am Main 2001, S. 508–509.
- Eric Schechter: Constructivism is difficult (PDF; 74 kB). In: American Mathematical Monthly. 108, 2001, S. 50–54.
- Solomon Feferman: <templatestyles src="Webarchiv/styles.css" />{{#if:20170311004302
| {{#ifeq: 20170311004302 | *
| {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20170311004302}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20170311004302}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis. | {{#invoke:WLink|getEscapedTitle|Relationships between Constructive, Predicative and Classical Systems of Analysis.}} | {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20170311004302|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://math.stanford.edu/~feferman/papers/relationships.pdf}}
|| {{#if: || }}
}}{{#if: Relationships between Constructive, Predicative and Classical Systems of Analysis.
| {{#if: {{#invoke:WLink|isBracketedLink|Relationships between Constructive, Predicative and Classical Systems of Analysis.}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://math.stanford.edu/~feferman/papers/relationships.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://math.stanford.edu/~feferman/papers/relationships.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://math.stanford.edu/~feferman/papers/relationships.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}} (PDF; 199 kB). In: ibid. S. 221–236.
Weblinks
- {{#if: Douglas Bridges | Douglas Bridges: }}{{#if: Constructive Mathematics | Constructive Mathematics. | Eintrag}} {{#if: Constructive Mathematics | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: https://plato.stanford.edu/entries/mathematics-constructive/ | {{#if: Constructive MathematicsDouglas Bridges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Douglas Bridges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Constructive Mathematics | | 1 }} }}|}}
- {{#if: Maarten McKubre-Jordens | Maarten McKubre-Jordens: }}{{#if: Constructive Mathematics | Constructive Mathematics. | Eintrag}} {{#if: Constructive Mathematics | In: | in}} James Fieser, Bradley Dowden (Hrsg.): Internet Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.
- Der Mengenbegriff in den Mathematiken – Diskussion der klassischen und konstruktivistischen Standpunkte (PDF; 173 kB)
Einzelnachweise
<references />
{{#ifeq: s | p | | {{#if: 4165105-4 | |
}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4165105-4 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4165105-4 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:GND fehlt
- Wikipedia:Normdaten-TYP falsch oder fehlend
- Wikipedia:GND in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:GND in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:LCCN in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:LCCN in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:VIAF in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:VIAF in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Philosophie der Mathematik
- Theoretische Informatik
- Konstruktivismus (Geistes- und Sozialwissenschaft)