Logicism renewed: Logical foundations fo
β Gilmore, Paul Carl
π Library
π
2005
π A K Peters, Association for Symbolic Logic
π English
β¦ LIBER β¦
π
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
β Scribed by Paul C. Gilmore
- Publisher
- ASL
- Year
- 2005
- Tongue
- English
- Leaves
- 124
- Series
- Lecture Notes in Logic 23
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.
π SIMILAR VOLUMES
Logic for Mathematics and Computer Scien
β Stanley N. Burris
π Library
π
1998
π Prentice Hall
π English
Mathematical logic: Foundations for info
β Li W.
π Library
π
2010
π Birkhauser
π English
Mathematical Logic: Foundations for Info
β Wei Li
π Library
π
2010
π BirkhΓ€user Basel
π English
Mathematical Logic: Foundations for Info
β Wei Li
π Library
π
2010
π BirkhΓ€user Basel
π English
Mathematical Logic: Foundations for Info
β Wei Li
π Library
π
2010
π BirkhΓ€user
π English
<P>Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of