Results of Running our Program for Contraction

Neil Tennant

in Changes of Mind

Published in print June 2012 | ISBN: 9780199655755
Published online September 2012 | e-ISBN: 9780191742125 | DOI:
Results of Running our Program for Contraction

Show Summary Details


This chapter gives the results of running our program on various problems specifically designed to test whether the program is a correct implementation of the algorithm, and whether the algorithm has itself been correctly specified. The problems are simple enough for the reader to be able to make well-educated, intuitive guesses as to the possible outcomes, and then see those very outcomes corroborated by a run of the program

Keywords: contraction; program; problems

Chapter.  5409 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.