| 000 | 01362n a2200373#a 4500 | ||
|---|---|---|---|
| 001 | 31609 | ||
| 005 | 20230808122134.0 | ||
| 008 | 050310s2005 mau b 001 0 eng|| | ||
| 010 | _a2005045868 | ||
| 020 | _a1568812388 | ||
| 020 | _a9781568812380 | ||
| 035 | _a(OCoLC)58478418 | ||
| 035 | _a(OCoLC | ||
| 040 |
_aDLC _cDLC |
||
| 042 | _apcc | ||
| 082 | 0 | 0 |
_a511.3 _bF837g |
| 084 |
_a31.10 _2bcl |
||
| 090 | _adr | ||
| 100 | 1 |
_aFranzén, Torkel. _917905 |
|
| 245 | 1 | 0 |
_aGödel's theorem: _ban incomplete guide to its use and abuse/ _cTorkel Franzén. |
| 260 |
_aWellesley, Mass.: _bA K Peters, _cc2005. |
||
| 300 |
_ax, 172 p.; _c23 cm. |
||
| 504 | _aIncludes bibliographical references (p. 165-167) and index. | ||
| 505 | 0 | _aThe incompleteness theorem: an overview -- Computability, formal systems, and incompleteness -- Incompleteness everywhere -- Skepticism and confidence -- Gödel, minds, and computers -- Gödel's completeness theorem -- Incompleteness, complexity, and infini. | |
| 650 | 0 | 0 |
_aGodel's theorem. _937591 |
| 650 | 0 | 0 |
_aIncompleteness theorems. _938040 |
| 650 | 1 | 7 |
_aTheorema van Godel. _2gtt _917906 |
| 650 | 0 | 6 |
_aGodel, théoreme de. _930504 |
| 650 | 0 | 6 |
_aThéorèmes d'incompletude. _917907 |
| 697 |
_aDivulgação e Recreação. _923735 |
||
| 942 |
_2impa _cBK |
||
| 949 | _a200734788 | ||
| 999 |
_c30614 _d30614 |
||