Oxford Index Browse

You are looking at 1-10 of 928 items for:

Mathematics x Arts and Humanities x clear all

Refine by subject

 

Refine by type

Refine by product

 

abduction

Overview page. Subjects: Arts and Humanities — Computing.

An inference process widely used in artificial intelligence, particularly in expert systems and rule-based systems. In diagnosis, for example, there may be a rule like “if measles then red...

See overview in Oxford Index

Abstract Mathematical Tools and Machines for Mathematics<sup>†</sup>

JEAN-PIERRE MARQUIS.

in Philosophia Mathematica

October 1997; p ublished online October 1997 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 0 words.

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various...

Go to Oxford Journals »  abstract

Abstraction and Additional Nature†

Bob Hale and Crispin Wright.

in Philosophia Mathematica

June 2008; p ublished online October 2007 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 12011 words.

In ‘What is wrong with abstraction’, Michael Potter and Peter Sullivan explain a further objection to the abstractionist programme in the foundations of mathematics which they first...

Go to Oxford Journals »  abstract

Adam Olszewski, Bartosz Brożek, and Piotr Urbańczyk, eds. <i>Church's Thesis: Logic, Mind and Nature.</i> Kraków, Poland: Copernicus Center Press, 2014. ISBN 978-83-7886-009-9 (hbk). Pp. 431

in Philosophia Mathematica

February 2016; p ublished online September 2015 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 195 words.

Go to Oxford Journals »  home page

After Gödel: Mechanism, Reason, and Realism in the Philosophy of Mathematics†

Richard Tieszen.

in Philosophia Mathematica

June 2006; p ublished online January 2006 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 11242 words.

In his 1951 Gibbs Lecture Gödel formulates the central implication of the incompleteness theorems as a disjunction: either the human mind infinitely surpasses the powers of any finite...

Go to Oxford Journals »  abstract

Afterword to Special Issue on Mathematical Depth

in Philosophia Mathematica

June 2015; p ublished online March 2015 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 6735 words.

Go to Oxford Journals »  abstract

A<span class="smallCaps">gustín</span> R<span class="smallCaps">ayo</span> and G<span class="smallCaps">abriel</span> U<span class="smallCaps">zquiano</span>, eds. <i>Absolute Generality</i>

in Philosophia Mathematica

February 2008; p ublished online February 2007 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 142 words.

Go to Oxford Journals »  abstract

A<span class="smallCaps">lan</span> R<span class="smallCaps">ichardson</span> and T<span class="smallCaps">homas</span> U<span class="smallCaps">ebel</span>. <i>The Cambridge Companion to Logical Empiricism</i>

in Philosophia Mathematica

February 2008; p ublished online January 2008 .

Journal Article. Subjects: Philosophy of Mathematics and Logic; Mathematics. 239 words.

Go to Oxford Journals »  abstract

Alexander, (Conel) Hugh O'Donel

Harry Golombek.

in Oxford Dictionary of National Biography

September 2004; p ublished online September 2004 .

Reference Entry. Subjects: Military History; Warfare and Defence; Hobbies, Games, Arts and Crafts; Numerical and Computational Mathematics. 1551 words.

Alexander, (Conel) Hugh O'Donel (1909–1974), chess player and cryptanalyst, was born in Cork on 19 April 1909, the eldest of four children of Conel William Long Alexander (1879–1920),...

Go to Oxford Dictionary of National Biography »  home page