Logos and Máthēma: studies in the philosophy of mathematics and history of logic
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Frankfurt am Main [u.a.]
Lang
2011
|
Schriftenreihe: | Polish contemporary philosophy and philosophical humanities
1 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturverz. S. 295-325 |
Beschreibung: | 337 S. 210 mm x 148 mm |
ISBN: | 9783631618042 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV039502006 | ||
003 | DE-604 | ||
005 | 20111122 | ||
007 | t | ||
008 | 110804s2011 gw |||| 00||| eng d | ||
015 | |a 11,N25 |2 dnb | ||
016 | 7 | |a 1012733696 |2 DE-101 | |
020 | |a 9783631618042 |c Gb. : EUR 59.80 (DE), EUR 61.50 (AT), sfr 87.00 (freier Pr.) |9 978-3-631-61804-2 | ||
024 | 3 | |a 9783631618042 | |
035 | |a (OCoLC)750727933 | ||
035 | |a (DE-599)DNB1012733696 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-HE | ||
049 | |a DE-29 |a DE-11 |a DE-12 | ||
082 | 0 | |a 510.1 |2 22/ger | |
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
084 | |a 100 |2 sdnb | ||
100 | 1 | |a Murawski, Roman |d 1949- |e Verfasser |0 (DE-588)103247831 |4 aut | |
245 | 1 | 0 | |a Logos and Máthēma |b studies in the philosophy of mathematics and history of logic |c Roman Murawski |
264 | 1 | |a Frankfurt am Main [u.a.] |b Lang |c 2011 | |
300 | |a 337 S. |c 210 mm x 148 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Polish contemporary philosophy and philosophical humanities |v 1 | |
500 | |a Literaturverz. S. 295-325 | ||
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 Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
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 Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | |5 DE-604 | |
830 | 0 | |a Polish contemporary philosophy and philosophical humanities |v 1 |w (DE-604)BV039632054 |9 1 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024354693&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-024354693 |
Datensatz im Suchindex
_version_ | 1804148300085985280 |
---|---|
adam_text | IMAGE 1
CONTENTS
PART I: PHILOSOPHY OF MATHEMATICS (IN GENERAL)
MATHEMATICAL KNOWLEDGE 15
ON THE POWER AND WEAKNESSES OF THE AXIOMATIC METHOD 53
REMARKS ON THE MATHEMATICAL UNIVERSE 63
STRUCTURALISM AND CATEGORY THEORY IN THE CONTEMPORARY PHILOSOPHY OF
MATHEMATICS (WITH IZABELA BONDECKA-KRZYKOWSKA) 73
PART II: HUBERT S PROGRAM VS. INCOMPLETENESS PHENOMENON
HUBERT S PROGRAM: INCOMPLETENESS THEOREMS VS. PARTIAL REALIZATIONS . 83
ON THE DISTINCTION PROOF-TRUTH IN MATHEMATICS 101
REACTIONS TO THE DISCOVERY OF THE INCOMPLETENESS PHENOMENON . . .. 115
GOEDEL S INCOMPLETENESS THEOREMS AND COMPUTER SCIENCE 127
THE PRESENT STATE OF MECHANIZED DEDUCTION, AND THE PRESENT KNOWLEDGE
OF ITS LIMITATIONS 137
ON PROOFS OF THE CONSISTENCY OF ARITHMETIC 159
DECIDABILITY VS. UNDECIDABILITY. LOGICO-PHILOSOPHICO-HISTORICAL REMARKS
165
UNDEFINABILITY OF TRUTH. THE PROBLEM OF THE PRIORITY: TARSKI VS. GOEDEL .
177
TROUBLES WITH (THE CONCEPT OF) TRUTH IN MATHEMATICS 187
PART III: PHILOSOPHY OF MATHEMATICS IN POLAND
THE PHILOSOPHY OF HOENE-WRONSKI 205
PHILOSOPHICAL REFLECTION ON MATHEMATICS IN POLAND IN THE INTERWAR PERIOD
215
PHILOSOPHY OF MATHEMATICS IN THE WARSAW MATHEMATICAL SCHOOL . . .. 227
ANDRZEJ MOSTOWSKI ON THE FOUNDATIONS AND PHILOSOPHY OF MATHEMATICS (WITH
JAN WOLERISKI) 243
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012733696
DIGITALISIERT DURCH
IMAGE 2
PART IV: MATHEMATICAL LOGIC IN POLAND
STANISLAW PIATIDEWICZ AND THE BEGINNINGS OF MATHEMATICAL LOGIC IN POLAND
(WITH TADEUSZ BATOG) 261
CONTRIBUTION OF POLISH LOGICIANS TO RECURSION THEORY 267
LOGICAL INVESTIGATIONS AT THE UNIVERSITY OF POZNAN IN 1945-1955 (WITH
JERZY POGONOWSKI) 283
REFERENCES 295
EDITORIALNOTE 327
INDEX OF NAMES 331
|
any_adam_object | 1 |
author | Murawski, Roman 1949- |
author_GND | (DE-588)103247831 |
author_facet | Murawski, Roman 1949- |
author_role | aut |
author_sort | Murawski, Roman 1949- |
author_variant | r m rm |
building | Verbundindex |
bvnumber | BV039502006 |
classification_rvk | CC 2600 |
ctrlnum | (OCoLC)750727933 (DE-599)DNB1012733696 |
dewey-full | 510.1 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 510 - Mathematics |
dewey-raw | 510.1 |
dewey-search | 510.1 |
dewey-sort | 3510.1 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02015nam a2200505 cb4500</leader><controlfield tag="001">BV039502006</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111122 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110804s2011 gw |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012733696</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783631618042</subfield><subfield code="c">Gb. : EUR 59.80 (DE), EUR 61.50 (AT), sfr 87.00 (freier Pr.)</subfield><subfield code="9">978-3-631-61804-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783631618042</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)750727933</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012733696</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">22/ger</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Murawski, Roman</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)103247831</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logos and Máthēma</subfield><subfield code="b">studies in the philosophy of mathematics and history of logic</subfield><subfield code="c">Roman Murawski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main [u.a.]</subfield><subfield code="b">Lang</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">337 S.</subfield><subfield code="c">210 mm x 148 mm</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">Polish contemporary philosophy and philosophical humanities</subfield><subfield code="v">1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 295-325</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Polish contemporary philosophy and philosophical humanities</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV039632054</subfield><subfield code="9">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=024354693&sequence=000001&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-024354693</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV039502006 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:04:56Z |
institution | BVB |
isbn | 9783631618042 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024354693 |
oclc_num | 750727933 |
open_access_boolean | |
owner | DE-29 DE-11 DE-12 |
owner_facet | DE-29 DE-11 DE-12 |
physical | 337 S. 210 mm x 148 mm |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Lang |
record_format | marc |
series | Polish contemporary philosophy and philosophical humanities |
series2 | Polish contemporary philosophy and philosophical humanities |
spelling | Murawski, Roman 1949- Verfasser (DE-588)103247831 aut Logos and Máthēma studies in the philosophy of mathematics and history of logic Roman Murawski Frankfurt am Main [u.a.] Lang 2011 337 S. 210 mm x 148 mm txt rdacontent n rdamedia nc rdacarrier Polish contemporary philosophy and philosophical humanities 1 Literaturverz. S. 295-325 Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 Logik (DE-588)4036202-4 s Polish contemporary philosophy and philosophical humanities 1 (DE-604)BV039632054 1 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024354693&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Murawski, Roman 1949- Logos and Máthēma studies in the philosophy of mathematics and history of logic Polish contemporary philosophy and philosophical humanities Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4036202-4 (DE-588)4143413-4 |
title | Logos and Máthēma studies in the philosophy of mathematics and history of logic |
title_auth | Logos and Máthēma studies in the philosophy of mathematics and history of logic |
title_exact_search | Logos and Máthēma studies in the philosophy of mathematics and history of logic |
title_full | Logos and Máthēma studies in the philosophy of mathematics and history of logic Roman Murawski |
title_fullStr | Logos and Máthēma studies in the philosophy of mathematics and history of logic Roman Murawski |
title_full_unstemmed | Logos and Máthēma studies in the philosophy of mathematics and history of logic Roman Murawski |
title_short | Logos and Máthēma |
title_sort | logos and mathema studies in the philosophy of mathematics and history of logic |
title_sub | studies in the philosophy of mathematics and history of logic |
topic | Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Philosophie Mathematik Logik Aufsatzsammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024354693&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV039632054 |
work_keys_str_mv | AT murawskiroman logosandmathemastudiesinthephilosophyofmathematicsandhistoryoflogic |