Titlebook: Language, Truth and Logic in Mathematics; Jaakko Hintikka Book 1998 Springer Science+Business Media Dordrecht 1998 Area.Gottlob Frege.Math

爱社交

me mathematicians) take the nature and the results of mathematicians‘ activities as given, and go on to ask what philosophical morals one might perhaps find in their story. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which

PUT

amputation

sterilization

An Alternative Concept of Computability,ned out to coincide. This consilience of apparently unrelated definitions is a telling indication that the notion so captured is indeed theoretically important. It lends prima facie support to the thesis of Church (1936) that mechanically determined (finitely computable) functions (in a pretheoretical sense) are precisely the recursive ones.

cogent

COST

A Revolution in Logic?,s of ordinary first-order logic, Frege’s treatment of verbs for being like ., does not capture the true ., he looked at the speaker with an expression of horror — mock horror, we hope — and said, “Nothing is sacred in philosophy any longer!”

Exposition

DEMUR

LUCY

onlooker

,Is there Completeness in Mathematics after Gödel?,f different kinds: for instance, natural numbers, real numbers (the continuum), geometrical structures, groups, lattices, topological spaces, etc. For these structures, they develop corresponding theories, such as number theory, real analysis (theories of measure and integration), Euclidean geometry