Skip to main content
Booklooky Logo
Sign in

Mathematical Logic

by Ebbinghaus, Heinz-Dieter

Looky Rating System: Violence 0/5, Love & Romance 0/5, Mental Health 0/5, Language 0/5, Substance Use 0/5, Fear / Horror 0/5, Fantasy / Supernatural 0/5, LGBTQ+ Representation 0/5.

Description

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe­ matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic.