- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The curious inference of Boolos in MIZAR and OMEGA
In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388 (2007)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec.Matuszewski Roman & Zalewska Anna (eds.) - 2007 - The University of Bialystok, Polen.
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141.
LOUI: Lovely OMEGA User Interface.Siekmann Jörg, Hess Stephan, Benzmüller Christoph, Cheikhrouhou Lassaad, Fiedler Armin, Horacek Helmut, Kohlhase Michael, Konrad Karsten, Meier Andreas, Melis Erica, Pollet Martin & Sorge Volker - 1999 - Formal Aspects of Computing 11 (3):326-342.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
Proof Development in OMEGA: The Irrationality of Square Root of 2.Siekmann Jörg, Benzmüller Christoph, Fiedler Armin, Meier Andreas, Normann Immanuel & Pollet Martin - 2003 - In Fairouz Kamareddine (ed.), Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
Analytics
Added to PP
2017-12-04
Downloads
7 (#1,411,895)
6 months
1 (#1,516,001)
2017-12-04
Downloads
7 (#1,411,895)
6 months
1 (#1,516,001)
Historical graph of downloads
Author's Profile
Citations of this work
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Witold Marciszewski - 2018 - Studia Semiotyczne 32 (2):153-185.
References found in this work
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-hhxx8 uwo