The Theory Pamphlet presents Gerhard Gentzens natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization tec...Loe edasi...
Most scholars think of David Hilberts program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the programs goals, they regard it as...Loe edasi...
(Ilmumisaeg: 08-Oct-2009, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9780521514378)
Most scholars think of David Hilberts program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the programs goals, they regard it as...Loe edasi...
