proof theory

Also found in: Encyclopedia, Wikipedia

0.01 sec.

proof theory

(Philosophy / Logic) the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback
Add definition

Mentioned in	?		References in periodicals archive	?		Dictionary browser	?		Full browser	?
syntactics			The field of proof theory studies formal proofs and their properties. Possibility of Proof for the Existence of God by franklyn fernando / Philosophy and religion community Although his methods, rules and structures have lead to verification programs essential to computer science, and his work on natural deduction, the sequent calculus and ordinal proof theory are still considered advanced, his life eventually ran contrary to the passions of his nation. Logic's lost genius; the life of Gerhard Gentzen by SciTech Book News Kevin joins JupiterResearch from Proof Theory, an online advertising and search marketing consulting firm. JupiterResearch Augments Search, Mobile Marketing and Broadband ... by Business Wire			Pronubial pronuclear pronucleus Pronuncial pronunciamento Pronunciamiento pronunciation pronunciation spelling Pronunciative Pronunciator Pronunciatory proof Proof charge proof coin Proof impression proof in the pudding Proof load proof of the pudding Proof reader proof sheet proof spirit Proof staff Proof stick proof stress Proof text proof theory Proof-arm Proof-proof proofed proofing Proofless proofread proofreader proofreading Proostracum Prootic prop prop root prop up prop- prop. propaedeutic propaedeutics propagable propaganda propagandise propagandism propagandist propagandistic propagandize propagate			Proof of Value Proof of Wallis product proof plane Proof Press Proof reader Proof reader Proof reading Proof reading Proof reading proof reading site Proof Requirement Proof Requirement proof resilience Proof Setup File proof sheet proof sheets proof spirit proof spirit Proof staff Proof stick Proof stress Proof stress Proof stress Proof techniques Proof test Proof Test Model Proof text Proof That the Youth Are Revolting Proof theorist Proof theorist proof theory proof to sue for slander proof total Proof Tracking Index Proof Verification System Proof-arm Proof-Like Proof-of-concept Proof-Of-Concept Aerospace Defense Location Proof-Of-Concept Rotary Fluid Coupler Proof-Of-Passing Certificate Proof-of-payment Proof-proof Proof-read Proof-read Proof-theoretic Proof-theoretic PROOF/L proofed proofed proofed proofed proofed proofer proofer proofer proofer proofer proofing proofing proofing

Dictionary, Thesaurus, and Translations

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.