proof theory

Ads

Saks Fifth Avenue www.saksfifthavenue.com/Theory Designer Sale - Up to 40% Off! Shop Select Styles at Saks Now.

Dictionary.com Mobile www.dictionary.com/mobile Join 45 Million Happy Mobile Users Today On Our Award-Winning Four Star App. Download Now!

World English Dictionary

proof theory

—n
	the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source

FOLDOC

Computing Dictionary

proof theory definition

logic
The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.
(1994-10-31)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

00:10

Proof theory is always a great word to know.

So is lollapalooza. Does it mean:

an extraordinary or unusual thing, person, or event; an exceptional example or instance.

a children's mummer's parade, as on the Fourth of July, with prizes for the best costumes.

LEARN MORE UNUSUAL WORDS WITH WORD DYNAMO...

Matching Quote

"With this new way of providing a foundation for mathematics, which we may appropriately call a proof theory, I pursue a significant goal, for I should like to eliminate once and for all the questions regarding the foundations of mathematics, in the form in which they are now posed, by turning every mathematical proposition into a formula that can be concretely exhibited and strictly derived, thus recasting mathematical definitions and inferences in such a way that they are unshakable and yet provide an adequate picture of the whole of science. I believe I can attain this goal completely with my proof theory."

-David Hilbert

Enjoy Dictionary.com ad-free! Learn more