Hilbert and the internal logic of mathematics Export

@article{citeulike:2724030, abstract = {Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.}, author = {Gauthier, Yvon}, citeulike-article-id = {2724030}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF01063966}, day = {1}, doi = {10.1007/BF01063966}, journal = {Synthese}, keywords = {constructivity, metalogical-frameworks, metalogics, metamathematical-frameworks, metamathematics, topos-theory}, month = {October}, number = {1}, pages = {1--14}, posted-at = {2008-04-27 15:42:25}, priority = {2}, title = {Hilbert and the internal logic of mathematics}, url = {http://dx.doi.org/10.1007/BF01063966}, volume = {101}, year = {1994} }

TY - JOUR ID - citeulike:2724030 L3 - citeulike-article-id:2724030 N2 - Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities. IS - 1 JF - Synthese EP - 14 TI - Hilbert and the internal logic of mathematics VL - 101 SP - 1 KW - constructivity KW - metalogical-frameworks KW - metalogics KW - metamathematical-frameworks KW - metamathematics KW - topos-theory AU - Gauthier, Yvon PY - 1994/10/01/ UR - http://dx.doi.org/10.1007/BF01063966 ER -