Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques / par Jean Ladriére

Saved in:
Bibliographic Details
Superior document:Collection de logique mathématique : Sér. B. 2
VerfasserIn:
Ladrière, Jean 1921-2007
Place / Publishing House:Louvain [u.a.] : Nauwelaerts [u.a.], 1957
Year of Publication:1957
Language:French
Series:Collection de logique mathématique : Sér. B. 2
Subjects:
Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 Metamathematik (DE-588)4074759-1
Classification:08.33 - Logik
Physical Description:XIII, 715 S.
Notes:Literaturverz. S. [501] - 546
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990002577540504498
ctrlnum AC10681463
(AT-OBV)AC10681463
(Aleph)010329059ACC01
(DE-599)BVBBV007021875
(DE-604)070218757
(EXLNZ-43ACC_NETWORK)990103290590203331
collection bib_alma
institution YWOAW
building MAG1-3
record_format marc
spelling Ladrière, Jean 1921-2007 (DE-588)119438348 aut
<<Les>> limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques par Jean Ladriére
Louvain [u.a.] Nauwelaerts [u.a.] 1957
XIII, 715 S.
Collection de logique mathématique : Sér. B. 2
Literaturverz. S. [501] - 546
Zugl.: Louvain, Univ. Cathol., Diss., 1956
Métamathématique
Metamathematics
Gödelscher Unvollständigkeitssatz s (DE-588)4021417-5
Metamathematik s (DE-588)4074759-1
AT-OBV UBIRST
(AT-OBV)AC01745099 2
YWOAW MAG1-3 2742-C 2221566230004498
language French
format Thesis
Book
author Ladrière, Jean 1921-2007
spellingShingle Ladrière, Jean 1921-2007
Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Collection de logique mathématique : Sér. B.
Gödelscher Unvollständigkeitssatz (DE-588)4021417-5
Metamathematik (DE-588)4074759-1
author_facet Ladrière, Jean 1921-2007
author_variant j l jl
author_role VerfasserIn
author_sort Ladrière, Jean 1921-2007
title Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
title_sub étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
title_full Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques par Jean Ladriére
title_fullStr Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques par Jean Ladriére
title_full_unstemmed Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques par Jean Ladriére
title_auth Les limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
title_new Les limitations internes des formalismes
title_sort limitations internes des formalismes étude sur la signification du théorème de gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
series Collection de logique mathématique : Sér. B.
series2 Collection de logique mathématique : Sér. B.
publisher Nauwelaerts [u.a.]
publishDate 1957
physical XIII, 715 S.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19
callnumber-raw 2742-C
callnumber-search 2742-C
topic Gödelscher Unvollständigkeitssatz (DE-588)4021417-5
Metamathematik (DE-588)4074759-1
topic_facet Gödelscher Unvollständigkeitssatz
Metamathematik
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 510 - Mathematics
dewey-full 510.1
dewey-sort 3510.1
dewey-raw 510.1
dewey-search 510.1
work_keys_str_mv AT ladrierejean leslimitationsinternesdesformalismesetudesurlasignificationdutheoremedegodeletdestheoremesapparentesdanslatheoriedesfondementsdesmathematiques
status_str n
ids_txt_mv (AT-OBV)AC10681463
AC10681463
(Aleph)010329059ACC01
(DE-599)BVBBV007021875
(DE-604)070218757
(EXLNZ-43ACC_NETWORK)990103290590203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 2742-C
hol852cSonderstandort_txt_mv MAG1-3
itmData_txt_mv 2013-01-16 01:00:00 Europe/Vienna
barcode_str_mv +YW21505403
callnumbers_txt_mv 2742-C
inventoryNumbers_str_mv 2742-C
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1-3
inventoryDates_str_mv 19991111
createdDates_str_mv 2013-01-16 01:00:00 Europe/Vienna
holdingIds_str_mv 2221566230004498
hierarchy_parent_id AC01745099
hierarchy_parent_title Collection de logique mathématique : Sér. B. 2
hierarchy_sequence 2
is_hierarchy_id AC10681463
is_hierarchy_title <<Les>> limitations internes des formalismes étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
container_title Collection de logique mathématique : Sér. B. 2
container_reference AC01745099
basiskl_str_mv 08.33 - Logik
basiskl_txtF_mv 08.33 - Logik
_version_ 1796648871294664705
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01557nam#a2200457#cb4500</leader><controlfield tag="001">990002577540504498</controlfield><controlfield tag="005">20230526205154.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">130116|1957####|||######m####|||#|#fre#c</controlfield><controlfield tag="009">AC10681463</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">888251</subfield><subfield code="2">OCoLC</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC10681463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC10681463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)010329059ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007021875</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)070218757</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990103290590203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OAW</subfield><subfield code="b">ger</subfield><subfield code="c">BAY</subfield><subfield code="d">UBW</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-FR</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510.1</subfield><subfield code="q">DE-101</subfield><subfield code="2">n/a</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">08.33</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch generiert aus Konkordanz RVK-BK-Philosophie</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="089" ind1="0" ind2="4"><subfield code="a">510.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ladrière, Jean</subfield><subfield code="d">1921-2007</subfield><subfield code="0">(DE-588)119438348</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Les limitations internes des formalismes</subfield><subfield code="b">étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques</subfield><subfield code="c">par Jean Ladriére</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Louvain [u.a.]</subfield><subfield code="b">Nauwelaerts [u.a.]</subfield><subfield code="c">1957</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 715 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Collection de logique mathématique : Sér. B.</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [501] - 546</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Louvain, Univ. Cathol., Diss., 1956</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Métamathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Metamathematics</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4021417-5</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4074759-1</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBIRST</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC01745099</subfield><subfield code="v">2</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="970" ind1="4" ind2=" "><subfield code="b">BVBKAT</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-17 18:40:03 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 09:49:32 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">2742-C</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2221566230004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">2742-C</subfield><subfield code="8">2221566230004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2221566230004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW21505403</subfield><subfield code="i">2742-C</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">19991111</subfield><subfield code="8">2321566220004498</subfield><subfield code="f">02</subfield><subfield code="p">2013-01-16 01:00:00 Europe/Vienna</subfield><subfield code="h">2742-C</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-09 11:45:53 Europe/Vienna</subfield></datafield></record></collection>

Similar Items