Beweise und Widerlegungen: die Logik mathematischer Entdeckungen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German English |
| Veröffentlicht: |
Braunschweig [u.a.]
Vieweg
1979
|
| Schriftenreihe: | Wissenschaftstheorie, Wissenschaft und Philosophie
14 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 161 S. graph. Darst. |
| ISBN: | 3528083921 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002256370 | ||
| 003 | DE-604 | ||
| 005 | 20140623 | ||
| 007 | t | ||
| 008 | 890928s1979 d||| |||| 00||| ger d | ||
| 020 | |a 3528083921 |9 3-528-08392-1 | ||
| 035 | |a (OCoLC)19248991 | ||
| 035 | |a (DE-599)BVBBV002256370 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a ger |h eng | |
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-824 |a DE-N32 |a DE-29 |a DE-29T |a DE-19 |a DE-20 |a DE-210 |a DE-70 |a DE-706 |a DE-N2 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-12 | ||
| 050 | 0 | |a QA8.4 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CI 7500 |0 (DE-625)18592:11797 |2 rvk | ||
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Fxx |2 msc | ||
| 100 | 1 | |a Lakatos, Imre |d 1922-1974 |e Verfasser |0 (DE-588)118568817 |4 aut | |
| 240 | 1 | 0 | |a Proofs and refutations |
| 245 | 1 | 0 | |a Beweise und Widerlegungen |b die Logik mathematischer Entdeckungen |c Imre Lakatos. Hrsg. von John Worrall ... |
| 264 | 1 | |a Braunschweig [u.a.] |b Vieweg |c 1979 | |
| 300 | |a XII, 161 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Wissenschaftstheorie, Wissenschaft und Philosophie |v 14 | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kritik |0 (DE-588)4033229-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalismus |g Mathematik |0 (DE-588)4154995-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Hypothekenbildung |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | 1 | |a Hypothekenbildung |A f |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Formalismus |g Mathematik |0 (DE-588)4154995-8 |D s |
| 689 | 3 | 1 | |a Kritik |0 (DE-588)4033229-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 4 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 830 | 0 | |a Wissenschaftstheorie, Wissenschaft und Philosophie |v 14 |w (DE-604)BV000003881 |9 14 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001482724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001482724 | ||
| 980 | 4 | |a (DE-12)AK12690209 | |
| 980 | 4 | |a (DE-12)AK24410023 | |
| 980 | 4 | |a (DE-12)AK24580641 | |
Datensatz im Suchindex
| _version_ | 1804116713155854336 |
|---|---|
| adam_text | Inhaltsverzeichnis
Vorwort der Herausgeber V
Einleitung des Verfassers VIII
Kapitel 1
1 Ein Problem und eine Vermutung 1
2 Ein Beweis 2
3 Kritik des Beweises durch lokale aber nicht globale Gegenbeispiele 5
4 Kritik der Vermutung durch globale Gegenbeispiele 7
4.1 Die Vermutung wird verworfen. Die Methode der Kapitulation 8
4.2 Das Gegenbeispiel wird verworfen. Die Methode der Monstersperre 9
4.3 Die Vermutung wird nach der Methode der Ausnahmensperre verbessert.
Schrittweises Ausschließen. Strategischer Rückzug oder Spiel auf
Sicherheit 18
4.4 Die Methode der Monsteranpassung 24
4.5 Die Vermutung wird nach der Methode der Hilfssatz Einverleibung ver¬
bessert. Beweiserzeugter Satz gegen naive Vermutung 27
5 Kritik der Beweisanalyse durch Gegenbeispiele, die global aber nicht lokal
sind. Das Problem der Strenge 36
5.1 Die Monstersperre bei der Verteidigung des Satzes 36
5.2 Versteckte Hilfssätze 36
5.3 Die Methode „Beweis und Widerlegungen 40
5.4 Beweis gegen Beweisanalyse. Die Relativierung der Begriffe ,Satz
und .Strenge bei der Beweisanalyse 44
6 Rückkehr zur Kritik des Beweises durch Gegenbeispiele, die lokal aber
nicht global sind. Das Problem des Gehaltes 51
6.1 Der Gehalt wird durch tief erliegende Beweise vermehrt 51
6.2 Auf dem Weg zu endgültigen Beweisen und entsprechende hinreichende
und notwendige Bedingungen 57
6.3 Verschiedene Beweise ergeben verschiedene Sätze 59
7 Neudurchdenken des Problems vom Gehalt 60
7.1 Die Naivität einer naiven Vermutung 60
7.2 Induktion als Grundlage der Methode „Beweise und Widerlegungen 61
7.3 Deduktives gegen naives Mutmaßen 63
7.4 Der Gehalt wird durch deduktives Mutmaßen vermehrt 69
7.5 Logische gegen heuristische Gegenbeispiele 75
8 Begriffsbildung 77
8.1 Widerlegung durch Begriffsdehnung. Eine Bewertung der Monster¬
sperre und der Begriffe Irrtum und Widerlegung 77
8.2 Beweiserzeugte gegen naive Begriffe. Theoretische gegen naive
Klassifizierung 81
8.3 Neudurchdenken der logischen und der heuristischen Widerlegungen 85
8.4 Theoretisches gegen naives Begriffsdehnen. Stetiger gegen kritischen
Fortschritt 86
8.5 Die Grenzen der Gehaltsvermehrung. Theoretische gegen naive
Widerlegungen 88
9 Wie Kritik mathematische Wahrheit in logische Wahrheit verwandeln kann .... 92
9.1 Unbegrenzte Begriffsdehnung zerstört Bedeutung und Wahrheit 92
9.2 Gemäßigte Begriffsdehnung kann mathematische Wahrheit in logische
Wahrheit verwandeln 95
Kapitel 2
Einleitung der Herausgeber 98
1 Übersetzung der Vermutung in die .wohlbekannte Sprache der Linearen
Algebra. Das Problem der Übersetzung 98
2 Ein anderer Beweis der Vermutung 108
3 Einige Zweifel an der Endgültigkeit des Beweises. Das Übersetzungsver¬
fahren und essentialistischer gegen nominalistischer Zugang zu Definitionen ... 110
Anhang 1
Eine weitere Fallstudie zu der Methode „Beweise und Widerlegungen 119
1 Cauchys Verteidigung des .Kontinuitätsprinzips 119
2 Seidels Beweis und der beweiserzeugte Begriff der gleichmäßigen Stetig¬
keit 123
3 Abels Methode der Ausnahmensperre 125
4 Hindernisse auf dem Weg zu der Entdeckung der Methode der Beweis¬
analyse 128
Anhang 2
Deduktivistischer oder heuristischer Zugang? 134
1 Der deduktivistische Zugang 134
2 Der heuristische Zugang. Beweiserzeugte Begriffe 136
2.1 Gleichmäßige Konvergenz 137
2.2 Beschränkte Schwankung 139
2.3 Die Caratheodory Definition einer meßbaren Menge 144
Bibliographie 147
Namensverzeichnis 154
Sachwortverzeichnis 157
|
| any_adam_object | 1 |
| author | Lakatos, Imre 1922-1974 |
| author_GND | (DE-588)118568817 |
| author_facet | Lakatos, Imre 1922-1974 |
| author_role | aut |
| author_sort | Lakatos, Imre 1922-1974 |
| author_variant | i l il |
| building | Verbundindex |
| bvnumber | BV002256370 |
| callnumber-first | Q - Science |
| callnumber-label | QA8 |
| callnumber-raw | QA8.4 |
| callnumber-search | QA8.4 |
| callnumber-sort | QA 18.4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 CI 7500 QH 120 SG 700 SK 130 |
| ctrlnum | (OCoLC)19248991 (DE-599)BVBBV002256370 |
| discipline | Mathematik Philosophie Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02939nam a2200721 cb4500</leader><controlfield tag="001">BV002256370</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140623 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528083921</subfield><subfield code="9">3-528-08392-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19248991</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002256370</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">ger</subfield><subfield code="h">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-N32</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA8.4</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 7500</subfield><subfield code="0">(DE-625)18592:11797</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lakatos, Imre</subfield><subfield code="d">1922-1974</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118568817</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Proofs and refutations</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Beweise und Widerlegungen</subfield><subfield code="b">die Logik mathematischer Entdeckungen</subfield><subfield code="c">Imre Lakatos. Hrsg. von John Worrall ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 161 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Wissenschaftstheorie, Wissenschaft und Philosophie</subfield><subfield code="v">14</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kritik</subfield><subfield code="0">(DE-588)4033229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalismus</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4154995-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Hypothekenbildung</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Hypothekenbildung</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Formalismus</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4154995-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Kritik</subfield><subfield code="0">(DE-588)4033229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Wissenschaftstheorie, Wissenschaft und Philosophie</subfield><subfield code="v">14</subfield><subfield code="w">(DE-604)BV000003881</subfield><subfield code="9">14</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001482724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001482724</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK12690209</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK24410023</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK24580641</subfield></datafield></record></collection> |
| genre | Hypothekenbildung gnd |
| genre_facet | Hypothekenbildung |
| id | DE-604.BV002256370 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:42:53Z |
| institution | BVB |
| isbn | 3528083921 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001482724 |
| oclc_num | 19248991 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-N32 DE-29 DE-29T DE-19 DE-BY-UBM DE-20 DE-210 DE-70 DE-706 DE-N2 DE-634 DE-83 DE-11 DE-188 DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-N32 DE-29 DE-29T DE-19 DE-BY-UBM DE-20 DE-210 DE-70 DE-706 DE-N2 DE-634 DE-83 DE-11 DE-188 DE-12 |
| physical | XII, 161 S. graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Vieweg |
| record_format | marc |
| series | Wissenschaftstheorie, Wissenschaft und Philosophie |
| series2 | Wissenschaftstheorie, Wissenschaft und Philosophie |
| spelling | Lakatos, Imre 1922-1974 Verfasser (DE-588)118568817 aut Proofs and refutations Beweise und Widerlegungen die Logik mathematischer Entdeckungen Imre Lakatos. Hrsg. von John Worrall ... Braunschweig [u.a.] Vieweg 1979 XII, 161 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Wissenschaftstheorie, Wissenschaft und Philosophie 14 Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Kritik (DE-588)4033229-9 gnd rswk-swf Formalismus Mathematik (DE-588)4154995-8 gnd rswk-swf Hypothekenbildung gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 Beweistheorie (DE-588)4145177-6 s Hypothekenbildung f Formalismus Mathematik (DE-588)4154995-8 s Kritik (DE-588)4033229-9 s Mathematische Logik (DE-588)4037951-6 s Wissenschaftstheorie, Wissenschaft und Philosophie 14 (DE-604)BV000003881 14 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001482724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lakatos, Imre 1922-1974 Beweise und Widerlegungen die Logik mathematischer Entdeckungen Wissenschaftstheorie, Wissenschaft und Philosophie Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Beweistheorie (DE-588)4145177-6 gnd Kritik (DE-588)4033229-9 gnd Formalismus Mathematik (DE-588)4154995-8 gnd |
| subject_GND | (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4037951-6 (DE-588)4145177-6 (DE-588)4033229-9 (DE-588)4154995-8 |
| title | Beweise und Widerlegungen die Logik mathematischer Entdeckungen |
| title_alt | Proofs and refutations |
| title_auth | Beweise und Widerlegungen die Logik mathematischer Entdeckungen |
| title_exact_search | Beweise und Widerlegungen die Logik mathematischer Entdeckungen |
| title_full | Beweise und Widerlegungen die Logik mathematischer Entdeckungen Imre Lakatos. Hrsg. von John Worrall ... |
| title_fullStr | Beweise und Widerlegungen die Logik mathematischer Entdeckungen Imre Lakatos. Hrsg. von John Worrall ... |
| title_full_unstemmed | Beweise und Widerlegungen die Logik mathematischer Entdeckungen Imre Lakatos. Hrsg. von John Worrall ... |
| title_short | Beweise und Widerlegungen |
| title_sort | beweise und widerlegungen die logik mathematischer entdeckungen |
| title_sub | die Logik mathematischer Entdeckungen |
| topic | Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Beweistheorie (DE-588)4145177-6 gnd Kritik (DE-588)4033229-9 gnd Formalismus Mathematik (DE-588)4154995-8 gnd |
| topic_facet | Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Mathematische Logik Beweistheorie Kritik Formalismus Mathematik Hypothekenbildung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001482724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000003881 |
| work_keys_str_mv | AT lakatosimre proofsandrefutations AT lakatosimre beweiseundwiderlegungendielogikmathematischerentdeckungen |