Higher order rule characterization of heuristics for compass and straight edge constructions in geometry

, &
Artificial Intelligence 5 (2):149-183 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(74)90028-9

Links

PhilArchive



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

External links

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

Another Constructive Axiomatization of Euclidean Planes.Victor Pambuccian - 2000 - Mathematical Logic Quarterly 46 (1):45-48.
“Unity Admirable But Not Necessarily Heeded”: Going Rates and Gender Boundaries in the Straight Edge Hardcore Music Scene.Jamie L. Mullaney - 2007 - Gender and Society 21 (3):384-408.
Misrepresenting consciousness.Josh Weisberg - 2011 - Philosophical Studies 154 (3):409 - 433.
Fast and Frugal Heuristics.Michael A. Bishop - 2006 - Philosophy Compass 1 (2):201–223.
A New Role for the Hippopede of Eudoxus.Ido Yavetz - 2001 - Archive for History of Exact Sciences 56 (1):69-93.
The speed-optimality of Reichenbach's straight rule of induction.Cory F. Juhl - 1994 - British Journal for the Philosophy of Science 45 (3):857-863.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
Many Meanings of ‘Heuristic’.Sheldon J. Chow - 2015 - British Journal for the Philosophy of Science 66 (4):977-1016.
Higher Education and Wealth Equity: Calibrating the Moral Compass Empathy, Ethics, and the Trained Will.Samuel M. Natale & Anthony F. Libertella - 2016 - Journal of Academic Ethics 14 (1):35-47.
A priori knowledge: Debates and developments.C. S. Jenkins - 2008 - Philosophy Compass 3 (3):436–450.
Die Eindeutigkeit der konstruktiven Geometrie.Karl-Heinrich Katthage - 1987 - Zeitschrift Für Allgemeine Wissenschaftstheorie 18 (1-2):285-295.
Eta-rules in Martin-löf type theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.
Moment characterization of higher-order risk preferences.Sebastian Ebert - 2013 - Theory and Decision 74 (2):267-284.
Operational Approach to the Topological Structure of the Physical Space.B. F. Rizzuti, L. M. Gaio & C. Duarte - 2020 - Foundations of Science 25 (3):711-735.

Analytics

Added to PP
2020-12-22

Downloads
1 (#1,898,347)

6 months
1 (#1,469,469)

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

Add more citations

References found in this work

No references found.

Add more references