Jump to ContentJump to Main Navigation

You are looking at 1-3 of 3 items

  • Keywords: mathematical induction x
Clear All Modify Search

View:

The Second Edition of Principia

Michael Potter

in Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap

Published in print:
2002
Published Online:
May 2007
ISBN:
9780199252619
eISBN:
9780191712647
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199252619.003.0008
Subject:
Philosophy, Logic/Philosophy of Mathematics

In the previous chapter, it was shown that the Tractatus accounted for only a limited part of arithmetic at best. When Russell read Wittgenstein's manuscript, he was convinced that this was a gap ... More


Sourcebook in the Mathematics of Medieval Europe and North Africa

Victor J. Katz, Menso Folkerts, Barnabas Hughes, Roi Wagner, and J. Lennart Berggren (eds)

Published in print:
2016
Published Online:
January 2018
ISBN:
9780691156859
eISBN:
9781400883202
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691156859.001.0001
Subject:
Mathematics, History of Mathematics

Medieval Europe was a meeting place for the Christian, Jewish, and Islamic civilizations, and the fertile intellectual exchange of these cultures can be seen in the mathematical developments of the ... More


Writing Prolog Programs

J. Levesque Hector

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0004
Subject:
Computer Science, Artificial Intelligence

This chapter discusses how to write the sorts of Prolog programs that will be used in the rest of the book. Section 1 examines what it means for a program to be fully correct. Section 4.2 introduces ... More


View: