Results for 'Kurt G��del'

1000+ found
Order:
  1.  63
    Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
    Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  15
    Putnam, G Del and Mathematical Realism.Alan Weir - 1993 - International Journal of Philosophical Studies 1 (2):255 – 285.
  3.  11
    Herder's Hermeneutics: History, Poetry, Enlightenment by Kristin Gjesdal.Kurt G. M. Mertel - 2018 - Journal of the History of Philosophy 56 (4):758-759.
    In spite of his status as a highly original thinker whose views were, in many ways, ahead of his time and anticipate those of more famous successors, the work of Johann Gottfried von Herder has not received the attention it deserves in mainstream philosophical discourse. In Herder's Hermeneutics, Kristin Gjesdal successfully addresses this deficit by exploring the enlightenment origins of the hermeneutic tradition through a careful and compelling reconstruction of Herder's theory of interpretation. Breaking with the widespread view of Herder (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gdel & Stanford Unviersity of Mathematics - 1986 - Clarendon Press.
    Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Kurt Godel Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gödel - 2003 - Oxford University Press UK.
    Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of (...)
     
    Export citation  
     
    Bookmark  
  6. VECCHIO, G. DEL.-Il Concetto Del Diritto. [REVIEW]A. E. Taylor - 1914 - Mind 23:454.
    No categories
     
    Export citation  
     
    Bookmark  
  7. G. Del Vecchio: L'Etica evoluzionista.Robert Theis - 1977 - Freiburger Zeitschrift für Philosophie Und Theologie 24:251-290.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  31
    When Are Tutorial Dialogues More Effective Than Reading?Kurt VanLehn, Arthur C. Graesser, G. Tanner Jackson, Pamela Jordan, Andrew Olney & Carolyn P. Rosé - 2007 - Cognitive Science 31 (1):3-62.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  4
    Kurt Godel Collected Works: Volume V: Correspondence, H-Z.Kurt Gödel - 2003 - Oxford University Press UK.
    Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    The Categorization-Individuation Model: An Integrative Account of the Other-Race Recognition Deficit.Kurt Hugenberg, Steven G. Young, Michael J. Bernstein & Donald F. Sacco - 2010 - Psychological Review 117 (4):1168-1187.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  11.  18
    Geissler, F. G. Kurt, Das System der Seinsgebiete als Grundlage einer umfassenden Philosophie, Philosophia ordinum essendi, im Anschluß an die Universitätsvorträge des Verf. vom Jahre 1912 an. [REVIEW]Kurt Geissler - 1920 - Kant-Studien 24 (1).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Computational Logic and Proof Theory Third Kurt Gödel Colloquium, Kgc'93 : Brno, Czech Republic, August 1993 : Proceedings. [REVIEW]G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1993
     
    Export citation  
     
    Bookmark  
  13. Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'. [REVIEW]G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997
     
    Export citation  
     
    Bookmark  
  14. G. Del Vecchio, "la verità Nella morale E Nel derritto". [REVIEW]M. T. Antonelli - 1955 - Giornale di Metafisica 10 (2):332.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. VECCHIO, G. DEL.-I. Presupposti Filosofici Della Nozione Del Diritto. [REVIEW]A. W. Benn - 1907 - Mind 16:453.
    No categories
     
    Export citation  
     
    Bookmark  
  16. G. Del Vecchio. L'etica Evoluzionista.P. Duhem - 1908 - Revue de Philosophie 13:443.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Con San Agustin Ante El Desarme. Construir la Paz Con la Paz, No Con la Guerra.G. Del Estal - 1987 - Ciudad de Dios 200 (2-3):593-637.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. G. Del Vecehio, Il diritto internazionale e il problema della pace. [REVIEW]Augusto Guzzo - 1957 - Filosofia 8 (1):151.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. G. Del Vecchio, La verità nella morale e nel diritto. [REVIEW]Vittorio Mathieu - 1952 - Filosofia 3 (3):484.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  31
    The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.
    I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt G del. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which G del drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in G del's writing, are so dubious on the extensional conception that one must doubt that G del could have understood his theorem extensionally. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  21
    Inferences Based on Unreliable Reports.Kurt J. Snapper & Dennis G. Fryback - 1971 - Journal of Experimental Psychology 87 (3):401-404.
  22. Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89.
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  23.  15
    In This Paper, We Sketch the Development of Two Important Themes of Modern Set Theory, Both of Which Can Be Regarded as Growing Out of Work of Kurt G Ödel. We Begin with a Review of Some Basic Concepts and Conventions of Set Theory.Large Cardinals - 1995 - Bulletin of Symbolic Logic 1 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Kurt Gödel: Philosopher-Scientist.G. Engelen, E.-M., Crocco (ed.) - 2015 - Presses Universitaires de Provence.
  25.  24
    Designed Curriculum and Local Culture: Acknowledging the Primacy of Classroom Culture.Kurt D. Squire, James G. MaKinster, Michael Barnett, April Lynn Luehmann & Sasha L. Barab - 2003 - Science Education 87 (4):468-489.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. The Place of Reasons in Epistemology.Kurt Sylvan & Ernest Sosa - 2018 - In Daniel Star (ed.), The Oxford Handbook of Reasons and Normativity.
    This paper considers the place of reasons in the metaphysics of epistemic normativity and defends a middle ground between two popular extremes in the literature. Against members of the ‘reasons first’ movement, we argue that reasons are not the sole fundamental constituents of epistemic normativity. We suggest instead that the virtue-theoretic property of competence is the key building block. To support this approach, we note that reasons must be possessed to play a role in the analysis of central epistemically normative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27.  24
    Social Categorization Influences Face Perception and Face Memory.Kurt Hugenberg, Steven G. Young, Donald F. Sacco & Michael J. Bernstein - 2011 - In Andy Calder, Gillian Rhodes, Mark Johnson & Jim Haxby (eds.), Oxford Handbook of Face Perception. Oxford University Press.
    Contained in the face is a vast body of social information, both fixed and flexible. Across multiple lines of converging evidence it has become increasingly clear that face processing is subject to one of the most potent and best understood of social cognitive phenomena: social categorization. This article reviews this research at the juncture of social psychology and face perception showing the interplay between social categorization and face processing. It lays out evidence indicating that social categories are extracted easily from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  71
    An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions.Kurt Schutte, W. Pohlers, J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878.
  29.  5
    Pitfalls in Prestack Inversion of Merged Seismic Surveys.Sumit Verma, Yoryenys Del Moro & Kurt J. Marfurt - 2013 - Interpretation: SEG 1 (1):A1-A9.
    Modern 3D seismic surveys are often of such good quality and 3D interpretation packages so user-friendly that seismic interpretation is no longer exclusively carried out by geophysicists. This ease-of-use has also been extended to more quantitative workflows, such as 3D prestack inversion, putting it in the hands of the “nonexpert” — be it geologist, engineer, or new-hire geophysicist. Indeed, given good quality input seismic data, almost any interpreter who can generate good well ties and define an accurate background model of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  6
    A Window Into the Proterozoic: Integrating 3D Seismic, Gravity, and Magnetic Data to Image Subbasement Structures in the Southeast Fort Worth Basin.Murari Khatiwada, G. Randy Keller & Kurt J. Marfurt - 2013 - Interpretation: SEG 1 (2):T125-T141.
    The Fort Worth basin is one of the most fully developed shale gas fields in North America. Although there are hundreds of drilled wells in the basin, almost none of them reach the Precambrian basement. Imaged by perhaps 100 3D seismic surveys, the focus on the relatively shallow, flat-lying Barnett Shale objective has resulted in little published work on the basement structures underlying the Lower Paleozoic strata. Subtle folds and systems of large joints are present in almost all 3D seismic (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  8
    A Theoretical Study of Distortions Induced by Finite Size in Regular Clusters.A. Julg, G. Del Re & V. Barone - 1977 - Philosophical Magazine 35 (3):517-531.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Structural Analysis of Suicidal Behavior.G. Lanteri-Laura & L. Del Pistoia - forthcoming - Social Research: An International Quarterly.
    No categories
     
    Export citation  
     
    Bookmark  
  33. The Relation of Chemistry to Other Fields of Science.C. M. Leigener & G. Del Re - 1987 - Epistemologia 10:269-284.
  34. Religión y pueblo en la perspectiva judía y cristiana.G. Del Olmo Lete - 1977 - Salmanticensis 24 (1):147-161.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  89
    Healing Relationships and the Existential Philosophy of Martin Buber.John G. Scott, Rebecca G. Scott, William L. Miller, Kurt C. Stange & Benjamin F. Crabtree - 2009 - Philosophy, Ethics, and Humanities in Medicine 4:11-.
    The dominant unspoken philosophical basis of medical care in the United States is a form of Cartesian reductionism that views the body as a machine and medical professionals as technicians whose job is to repair that machine. The purpose of this paper is to advocate for an alternative philosophy of medicine based on the concept of healing relationships between clinicians and patients. This is accomplished first by exploring the ethical and philosophical work of Pellegrino and Thomasma and then by connecting (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  50
    Kurt H. Wolff and Italy: Tracing the Steps of an Elusive Spirit on His Journey Home.Onorina Del Vecchio - 2016 - Human Studies 39 (3):433-450.
    This article traces Kurt H. Wolff’s involvement with Italy, from his first sojourn in the 1930s as a German Jewish intellectual in exile to the end of his life. Wolff developed profound ties with the country that hosted him, and that he was forced to abandon once racial laws were introduced there on the eve of World War II. Nonetheless, throughout his life he regarded Italy as an elective homeland of sorts. Wolff’s Italian experience is revisited through a detailed (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  74
    Conditionals: From Philosophy to Computer Science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  16
    When Are Tutorial Dialogues More Effective Than Reading?Danielle E. Matthews, Kurt VanLehn, Arthur C. Graesser, G. Tanner Jackson, Pamela Jordan, Andrew Olney & Andrew Carolyn P. RosAc - 2007 - Cognitive Science 31 (1):3-62.
  39.  9
    The Goal of Consistency as a Cause of Information Distortion.J. Edward Russo, Kurt A. Carlson, Margaret G. Meloy & Kevyn Yong - 2008 - Journal of Experimental Psychology: General 137 (3):456-470.
  40. Le Premesse Metafisiche Della Dottrina di G. Del Vecchio.Vitale Viglietti - 1940 - Philosophical Review 49:695.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  3
    Kurt Gödel. Collected Works. Vol. IV, Correspondence A-G; V, Correspondence H-Z. Edited by Solomon Feferman, John W. Dawson Jr., Warren Goldgfarb, Charles Parsons, Wilfried Sieg. Oxford: Claredon Press, 2003. [REVIEW]Roberto Torretti - 2004 - Revista de filosofía (Chile) 60:169-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  22
    Socrates Meets Two Coyotes.Kurt Torell & Alan G. Marshall - 2000 - Journal of Philosophical Research 25:459-469.
    In this paper, we compare one Nez Perce myth, namely lepuu ’Iceyeeye, or “Two Coyotes,” to some passages from Plato’s dialogues. Our point is to show how “Two Coyotes,” like Plato’s dialogues, serves as an instrument of philosophical reflection by engaging the listener/reader in aporia and paradox that motivate multiple reflections on the One, the Many, the nature and relation of kinds to instances, and thus the process and meaning of naming. If we are correct about the uses of “Two (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Kurt Gödel. Essays for His Centennial, Edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, Cambridge University Press, Cambridge and Others, 2010, X + 373 Pp. [REVIEW]Matthias Wille - 2011 - Bulletin of Symbolic Logic 17 (1):125-126.
  44.  17
    Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S. [REVIEW]Kurt Schutte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  45.  10
    Mathematical Jujitsu: Some Informal Thoughts About G�Del and Physics.John D. Barrow - 2000 - Complexity 5 (5):28-34.
  46.  7
    Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger.Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99.
    This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V′) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V′) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V′) is provable in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V′).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  18
    G. Capano e G. Tognon (a cura di), La crisi del potere accademico in Italia. Proposte per il governo delle università.G. Ballarino - 2009 - Polis (Misc) 23 (1):151-153.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. L. G. BASTIDA, "Gli argomenti di Perelman: dalla neutralità dello scienziato all'imparzialità del giudice". [REVIEW]G. Hottois - 1977 - Revue Internationale de Philosophie 31 (3):479.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. G. Hurtado y O. Nudler, El Mobiliario Del Mundo. Ensayos de Ontología.G. Satne - 2010 - Revista Latinoamericana de Filosofia 36 (1):131.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000