000 01806nam a2200433 c 4500
001 vtls000480364
003 RU-ToGU
005 20211101110939.0
008 140619s2005 ru a f b 000 0 rus d
020 _a5989010036
035 _ato000480364
040 _aRU-ToGU
_brus
_cRU-ToGU
084 _aЮ252:В
_2rubbk
084 _aЮ935.131-231.4
_2rubbk
084 _aЮ945.32-513
_2rubbk
100 1 _aЦелищев, Виталий Валентинович
_965508
245 1 0 _aАлгоритмизация мышления. Геделевский аргумент
_cВ. В. Целищев ; Ин-т философии права, Сиб. отд-ние РАН
260 _aНовосибирск
_bПараллель
_c2005
300 _a303 с.
_bил.
490 1 _aНовая философия математики
504 _aБиблиогр.: с. 299-303 и в подстроч. примеч.
653 _aматематика.
653 _aмышление.
653 _aтрансфинитный аргумент
653 _aпринципы рефлексии
653 _aкомпьютер.
653 _aчеловек
653 _aистина.
653 _aдоказуемость.
653 _aалгоритмы.
653 _aвычисления.
653 _aматематические истины
653 _aискусственный интеллект.
653 _aкогнитивные способности.
653 _aматематическое мышление.
830 0 _aНовая философия математики
_972870
852 4 _aRU-ToGU
_nru
999 _c213195