000			01807nam a22003497i 4500
001			AZUAY-87614
003			AZUAY
005			20251111043028.0
008			251108b |||||||gr|||| 00| | d
020			_a978-84-309-0821-9
040			_aAZUAY _bspa _cAZUAY _dAZUAY _erda
041	0		_aspa
082	0	4	_a511.3 _bN1475
100	1		_aNagel, Ernest, _eautor
245	1	0	_aEl teorema de Gödel
250			_a1a. ed., 1a. reimp
264	3	1	_a: _bEditorial Tecnos, _c1979
300			_a140 páginas
300			_bImpreso
336			_2rdacontent _atexto _btxt
337			_2rdamedia _ano mediado _bn
338			_2rdacarrier _avolumen _bnc
520	3		_aEl problema de la consistencia. Pruebas absolutas de consistencia. La codificación sistemática de la lógica formal. Un ejemplo de una prueba absoluta de consistencia. La idea de representación y su empleo en las matemáticas. Las pruebas de Gödel.
520	3		_bEl razonamiento del teorema eran tan nuevo en el momento de su publicación, que sólo quienes se hallaban pertrechados con un profundo conocimiento de la literatura técnica sumamente especializada podía seguir y comprender plenamente la línea argumentativa del mismo. Actualmente, sin embargo, todas las conclusiones establecidas por GÖDEL son por todos reconocidas como verdaderamente revolucionarias por su honda significación filosófica. La finalidad del presente ensayo es hacer accesibles a los no especialistas el núcleo esencial de los hallazgos de GÖDEL y las líneas generales de su teorema.
650	1	4	_aLÓGICA
650	1	4	_aLÓGICA APLICADA
650	1	4	_aMATEMÁTICA
654	0		_a511.3 - Lógica matemática (lógica simbólica)
654	0		_a511.3 - Lógica matemática (lógica simbólica)
700	1		_aNewman, James R., _eautor
942			_2ddc _c5
999			_c40154 _d40154