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
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis/Dissertation Book |
| Language: | French |
| Published: |
Louvain
Nauwelaerts
1957
|
| Series: | Collection de logique mathématique. Sér. B.
2 |
| Subjects: | |
| Physical Description: | XIII, 715 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV007021875 | ||
| 003 | DE-604 | ||
| 005 | 20110704 | ||
| 007 | t| | ||
| 008 | 930415s1957 xx m||| 00||| fre d | ||
| 035 | |a (OCoLC)888251 | ||
| 035 | |a (DE-599)BVBBV007021875 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-12 |a DE-355 |a DE-19 |a DE-29 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 510.1 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Ladrière, Jean |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Les limitations internes des formalismes |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 |
| 264 | 1 | |a Louvain |b Nauwelaerts |c 1957 | |
| 300 | |a XIII, 715 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Collection de logique mathématique. Sér. B. |v 2 | |
| 502 | |a Zugl.: Louvain, Univ. Cathol., Diss., 1956 | ||
| 650 | 4 | |a Métamathématique | |
| 650 | 4 | |a Metamathematics | |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 0 | 1 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Collection de logique mathématique. Sér. B. |v 2 |w (DE-604)BV001887563 |9 2 | |
| 940 | 1 | |q TUB-nvmb | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004451527 | |
| 980 | 4 | |a (DE-12)AK12650834 | |
Record in the Search Index
| _version_ | 1818949041955799040 |
|---|---|
| any_adam_object | |
| author | Ladrière, Jean |
| author_facet | Ladrière, Jean |
| author_role | aut |
| author_sort | Ladrière, Jean |
| author_variant | j l jl |
| building | Verbundindex |
| bvnumber | BV007021875 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)888251 (DE-599)BVBBV007021875 |
| 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 | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01680nam a2200457 cb4500</leader><controlfield tag="001">BV007021875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110704 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930415s1957 xx m||| 00||| fre d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)888251</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007021875</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</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">SK 130</subfield><subfield code="0">(DE-625)143216:</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="100" ind1="1" ind2=" "><subfield code="a">Ladrière, Jean</subfield><subfield code="e">Verfasser</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></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Louvain</subfield><subfield code="b">Nauwelaerts</subfield><subfield code="c">1957</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 715 S.</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">Collection de logique mathématique. Sér. B.</subfield><subfield code="v">2</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="4"><subfield code="a">Metamathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Collection de logique mathématique. Sér. B.</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV001887563</subfield><subfield code="9">2</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nvmb</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004451527</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK12650834</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV007021875 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T08:56:24Z |
| institution | BVB |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004451527 |
| oclc_num | 888251 |
| open_access_boolean | |
| owner | DE-12 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-83 DE-11 DE-188 |
| physical | XIII, 715 S. |
| psigel | TUB-nvmb |
| publishDate | 1957 |
| publishDateSearch | 1957 |
| publishDateSort | 1957 |
| publisher | Nauwelaerts |
| record_format | marc |
| series | Collection de logique mathématique. Sér. B. |
| series2 | Collection de logique mathématique. Sér. B. |
| spelling | Ladrière, Jean Verfasser 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 Louvain Nauwelaerts 1957 XIII, 715 S. txt rdacontent n rdamedia nc rdacarrier Collection de logique mathématique. Sér. B. 2 Zugl.: Louvain, Univ. Cathol., Diss., 1956 Métamathématique Metamathematics Metamathematik (DE-588)4074759-1 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s Metamathematik (DE-588)4074759-1 s DE-604 Collection de logique mathématique. Sér. B. 2 (DE-604)BV001887563 2 |
| spellingShingle | Ladrière, Jean 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. Métamathématique Metamathematics Metamathematik (DE-588)4074759-1 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| subject_GND | (DE-588)4074759-1 (DE-588)4021417-5 (DE-588)4113937-9 |
| 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_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_exact_search | 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_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 |
| 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 |
| 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 |
| title_short | Les limitations internes des formalismes |
| title_sort | les limitations internes des formalismes etude sur la signification du theoreme de godel et des theoremes apparentes dans la theorie des fondements des mathematiques |
| 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 |
| topic | Métamathématique Metamathematics Metamathematik (DE-588)4074759-1 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| topic_facet | Métamathématique Metamathematics Metamathematik Gödelscher Unvollständigkeitssatz Hochschulschrift |
| volume_link | (DE-604)BV001887563 |
| work_keys_str_mv | AT ladrierejean leslimitationsinternesdesformalismesetudesurlasignificationdutheoremedegodeletdestheoremesapparentesdanslatheoriedesfondementsdesmathematiques |