Proving Theorems from Reflection

In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Truth, Conservativeness, and Provability: Reply to Cieslinski.J. Ketland - 2010 - Mind 119 (474):423-436.
Wang Hao. Proving theorems by pattern recognition I. Communications of the Association for Computing Machinery, vol. 3 , pp. 220–234.Wang Hao. Proving theorems by pattern recognition—II. The Bell system technical journal, vol. 40 , pp. 1–41. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
Teaching proving by coordinating aspects of proofs with students' abilities.Annie Selden & John Selden - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and Learning Proof Across the Grades: A K-16 Perspective. New York, USA: Routledge. pp. 339--354.
Making Theorem-Proving in Modal Logic Easy.Paul Needham - 2009 - In Lars-Göran Johansson, Jan Österberg & Rysiek Śliwiński (eds.), Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala, Sverige: pp. 187-202.
Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.
Covering theorems for the core model, and an application to stationary set reflection.Sean Cox - 2010 - Annals of Pure and Applied Logic 161 (1):66-93.
Proving Theorems by Pattern Recognition I.Hao Wang - 1967 - Journal of Symbolic Logic 32 (1):119-120.
On Proving Too Much.Moti Mizrahi - 2013 - Acta Analytica 28 (3):353-358.
Review: Hao Wang, Proving Theorems by Pattern Recognition I. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.
Examining fragments of the quantified propositional calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.
A Non-Heuristic Program for Proving Elementary Logical Theorems.B. Dunham, R. Fridshal, G. L. Sward & J. H. North - 1967 - Journal of Symbolic Logic 32 (2):266-266.
Reuben Hersh. Proving is convincing and explaining. Educational studies in mathematics, vol. 24 , pp. 389–399. - Philip J. Davis. Visual theorems. Educational studies in mathematics, vol. 24 , pp. 333–344. - Gila Hanna and H. Niels Jahnke. Proof and application. Educational studies in mathematics, vol. 24 , pp. 421–438. - Daniel Chazan. High school geometry students' justification for their views of empirical evidence and mathematical proof. Educational studies in mathematics vol. 24 ,pp. 359–387. [REVIEW]Don Fallis - 1998 - Journal of Symbolic Logic 63 (3):1196-1200.
Minimal Sartre: Diagonalization and Pure Reflection.John Bova - 2012 - Open Philosophy 1:360-379.

Analytics

Added to PP
2019-11-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

32 Naming God’s Essence: Ineffability, Analogy and Set Theory.Claudio Ternullo - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 697-718.

Add more citations

References found in this work

No references found.

Add more references