نظریه برهان

نظریه برهان شاخه‌ای از منطق ریاضی ست که برهان‌ها را به عنوان یک شئ صوری ریاضی در نظر می‌گیرد تا تجزیه و تحلیل آن‌ها به کمک تکنیک‌های ریاضی را آسانتر نماید.[۱] نظریه برهان‌ها دارای طبیعتی نحوی‌ست، در مقابل نظریه مدل‌ها که از جنس معناشناسی است. به همراه نظریه مدل‌ها، نظریه مجموعه‌ها مبتنی‌بر اصول موضوع و نظریه بازگشتی، نظریه برهان‌ها یکی از اصول چهارگانه را در بنیان‌های ریاضیّات را تشکیل می‌دهد.[۲][۳]

منابع

پانویس

  1. ↑ Girard, Lafont, and Taylor (1988).
  2. ↑ According to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics".
  3. ↑ Prawitz 1965, p. 98.

کتابشناسی

  • Barwise, Jon (1977). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. North-Holland Publishing Company. ISBN 072042285X. LCCN 76026032. OCLC 2347202.
  • Girard, J.-Y.; Taylor, P.; Lafont, Y. (2003) [1989]. Proofs and Types (PDF). Cambridge University Press. ISBN 0521371813.
  • Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896
  • Wang, Hao (1981). Popular Lectures on Mathematical Logic. Van Nostrand Reinhold Company. ISBN 9780442231095. OCLC 6087107.
This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.