Beweis und Reflexion : (Record no. 43387)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02977nam a22003971i 4500 |
| 001 - CONTROL NUMBER | |
| control field | BRILL9783969750667 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | nllekb |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260610105645.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr un uuuua |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200926s2008 ne sb 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783969750667 |
| Qualifying information | (electronic book) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783897856059 |
| Qualifying information | (print) |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.30965/9783969756058 |
| Source of number or code | DOI |
| 035 ## - SYSTEM CONTROL NUMBER | |
| Canceled/invalid control number | (OCoLC)229448170 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | NL-LeKB |
| Transcribing agency | NL-LeKB |
| Description conventions | rda |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC173 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HP |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PHI |
| Subject category code subdivision | 000000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 901 |
| Edition information | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Wille, Matthias, |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Beweis und Reflexion : |
| Remainder of title | Philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen / |
| Statement of responsibility, etc. | Matthias Wille. |
| 246 3# - VARYING FORM OF TITLE | |
| Title proper/short title | Philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Paderborn : |
| Name of producer, publisher, distributor, manufacturer | mentis Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2008. |
| 300 ## - online resource | |
| Extent | 1 online resource |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Es gibt beweistheoretische Resultate, die zu den meist erwähnten wissenschaftlichen Ergebnissen des 20. Jahrhunderts zählen - und das, obwohl die Beweistheorie durch die Wissenschaftsphilosophie bisher kaum Beachtung fand. Letzteres betrifft im Besonderen die Fragen, was die beweistheoretische Begründungspraxis auszeichnet, und ob sie angemessen als eine reine Beweispraxis aufgefasst werden kann. Die Beweistheoretiker sind sich hierin uneins. Das vorliegende Buch liefert Antworten auf diese - und damit verbundene - Fragen, denn es bleibt zu klären, inwiefern durch die Beweistheorie zulässig Geltungsaussagen die mathematischen Mittel betreffend gemacht werden können. Analysiert man die Entwicklung dieser Disziplin ausgehend von der Hilbertschen Metamathematik bis hin zu den jüngeren Programmen der Reverse Mathematics oder reduktiven Beweistheorie, dann stellt der aufmerksame Betrachter trotz des formalen Erscheinungsbildes ein Wechselspiel zwischen Beweis- und Reflexionsvollzügen fest, das sich wie ein roter Faden durch die Geschichte der Beweistheorie zieht. Dies ist jedoch kein bloßer Zufall, denn das beweisbasierte philosophische Argumentieren erweist sich als eine notwendige Gelingensbedingung für die Realisierung der beweistheoretischen Erkenntnisanliegen. Beweistheorie als Beweiskritik zu verstehen (Hilbert), erhält damit einen reflektierten Sinn. --------------- Ebenfalls bei mentis erschienen: Die Mathematik und das synthetische Apriori. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on print version record. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Evidence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Proof theory. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Title | Beweis und Reflexion : Philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen, |
| Place, publisher, and date of publication | Paderborn : mentis Verlag, 2008 |
| International Standard Book Number | 9783897856059 |
| Record control number | (DLC) 2008380928 |
| 856 4# - ELECTRONIC LOCATION AND ACCESS | |
| Public note | DOI: |
| Uniform Resource Identifier | <a href="http://dx.doi.org/10.30965/9783969756058">http://dx.doi.org/10.30965/9783969756058</a> |
No items available.