1Hilbert - Create a language for science that is based on...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Hilbert Program To formalize all of mathematics by proving that each mathematical domain is consistent, complete, and decidable. Wittgenstein Tractatus logico-philosophicus
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Create a language for science that is based on mathematical logic and is truth functional....
View Full Document

Ask a homework question - tutors are online