搜索结果: 1-3 共查到“科学技术哲学 Frege”相关记录3条 . 查询时间(0.056 秒)
Ghost World: A Context for Frege's Context Principle
Frege Stolz Klein foundations of arithmetic
2008/4/14
There is considerable likelihood that Gottlob Frege began writing his Foundations of Arithmetic with the expectation that he could introduce his numbers, not with sets, but through some algebraic tech...
This survey article describes Frege's celebrated foundational work against the context of other late nineteenth century approaches to introducing mathematically novel "extension elements" within both ...
Frege and Hilbert on the Foundations of Geometry (1994 Talk)
Hilbert Frege Axiomatic Method
2008/4/14
I examine Frege’s explanation of how Hilbert ought to have presented his proofs of the independence of the axioms of geometry: in terms of mappings between (what we would call) fully interpreted state...