Essays on the Foundations of Mathematics and Logic

abstract alphabets application arbitrary symbols argument arithmetic assumptions axiomatization axioms binary tree Bishop's measure theory calculi category theory Church's thesis classical logic computable concepts consistent constructive continuum Costa defined equation Essays example existence expressed Field finite formal Foundations of Mathematics function geometric completeness heat equation Hilbert’s Indian logic Indian logicians inference initial segment integers intuition IWKL kinetic energy Kleene's König's lemma logic and mathematics matching model mathe Mathematics and Logic meaning measure theory natural language NdC1 neighborhoods nominalist notion object paraconsistent logic partial Philosophy physical attitude physical situation Planck length principle problem proof properties provable proves quantum mechanics real numbers recursive reals relation Sarukkai semantics sequence number Sica Sica ed similarity singular cover smoke space space-time structures symbolisation symbols in mathematics temperature theorem truth-tables universal logic valid W. A. Carnielli