Cargando…

The future of post-human mathematical logic

Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wi

Detalles Bibliográficos
Autor principal: Baofu, Peter
Lenguaje:eng
Publicado: Cambridge Scholars Publishing 2008
Materias:
Acceso en línea:http://cds.cern.ch/record/1618530
_version_ 1780932932643323904
author Baofu, Peter
author_facet Baofu, Peter
author_sort Baofu, Peter
collection CERN
description Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wi
id cern-1618530
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2008
publisher Cambridge Scholars Publishing
record_format invenio
spelling cern-16185302021-04-21T21:57:58Zhttp://cds.cern.ch/record/1618530engBaofu, PeterThe future of post-human mathematical logicMathematical Physics and Mathematics Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wiCambridge Scholars Publishingoai:cds.cern.ch:16185302008
spellingShingle Mathematical Physics and Mathematics
Baofu, Peter
The future of post-human mathematical logic
title The future of post-human mathematical logic
title_full The future of post-human mathematical logic
title_fullStr The future of post-human mathematical logic
title_full_unstemmed The future of post-human mathematical logic
title_short The future of post-human mathematical logic
title_sort future of post-human mathematical logic
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1618530
work_keys_str_mv AT baofupeter thefutureofposthumanmathematicallogic
AT baofupeter futureofposthumanmathematicallogic