"For mathematics is after all an anthropological phenomenon."
(Wittgenstein, Remarks on the Foundations of Mathematics)
No, though it is partly a biological phenomenon.
Installed:
29 Aug 2013
Updated:
22 Sep 2013; 21 Nov 2013; 9 Sep 2014; 7 Dec 2014; 29 Mar 2015; 4 Sep 2016; 13
Jul 2018

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/ pgeometry.html
Pardoe Geometry (PGeometry: adding constrained motion to Euclid)
Compare the "neusis" construction in the next document:

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/multicirc.html
Surprisingly Rational Circle Segments

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/deformtriangle.html
Nonmonotonic angle change as a vertex moves on a line:
Discovery of a necessary connection between two different
continua: variation in location of a point and variation in
size of an angle, easily discovered by nonmathematicians.
(And some surprisingly complex variants of a simple problem.)

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/multicirc.html
Surprisingly Rational Circle Segments

http://www.cs.bham.ac.uk/research/projects/cogaff/crp/#chap8
CHAPTER 8 On Learning About Numbers: Problems and Speculations (1978)
Chapter 8 of
The Computer Revolution in Philosophy: Philosophy science and models of mind
http://www.cs.bham.ac.uk/research/cogaff/6280.html#crp

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/trisect.html
How to trisect an angle in Pgeometry. Including a criticism of
Poincaré's philosophy of mathematics.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/edsem15.html
Biology, geometry, philosophy of mathematics and Kantian robotics?:
The case of pgeometry and angle trisection
Edinburgh Informatics Forum,
Mathematical Reasoning Group Seminar 25th Aug 2015,

The Triangle Sum Theorem
(Old and new proofs, including Mary Pardoe's Proof, using a
rotating arrow, or pencil.)

Triangle Qualia/Triangle Theorems
Hidden Depths of Triangle Qualia (Especially their areas.)
Theorems About Triangles, and Implications for Biological Evolution and AI
The Median Stretch, Side Stretch, and Triangle Area Theorems:
old and new proofs.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/impossible.html
On seeing that X is impossible, and seeing why X is impossible.

http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#talk108
Talk 108: Why is it so hard to make humanlike AI (robot) mathematicians?
Especially Euclidean geometers.
Talk at PTAI 2013 Oxford, 22 Sep 2013
Closely related draft paper:
http://www.cs.bham.ac.uk/research/projects/cogaff/13.html#1304
Extending Turing's Pattern: From Morphogenesis to Metamorphogenesis
Invited contribution to Cybertalk Magazine, September 2013

Biology, Mathematics, Philosophy, and Evolution of Information Processing

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/toddlertheorems.html
Toddler theorems  what they are and some examples
E.g.
toddler exploring 3D topology with
pencil.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/rings.html
Reasoning About Rings and Chains
(Impossible linking and unlinking)

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/torus.html
Reasoning about continuous deformations of curves, e.g. on a Torus.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/shirt.html
Shirt Mathematics
Illustrating topological and semimetrical reasoning in everyday life.

Knots: discovering theorems about them

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathsem.html
From Molecules to Mathematicians:
How could evolution produce mathematicians from a cloud of cosmic dust?
What might Turing have done if he had lived longer?
How might it have helped us understand biological evolution,
and how evolution produced mathematicians?
Notes for a presentation to the Midlands Logic Seminar: 1st November 2013

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/midlogtalk.html
How can a physical universe produce mathematicians?
Metaphysical, Biological, Evolutionary Foundations for Mathematics
(As opposed to logical or settheoretic foundations.)
Midlands Logic Seminars, Tuesday 24th Feb 2015
http://midlandslogic.org.uk

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/schrodingerlife.html
What is Life?
Erwin Schrödinger on the Chemical Basis of Life
This is a collection of extracts from Schrödinger's 1944 book
What is life?
with some comments added by me, mainly trying to clarify what I think he is
saying and why I think it is so important for anyone trying to understand how
life as we know it is possible in this physical universe. This includes
understanding how evolution could have produced mathematicians like Euclid.

Different relationships between genome and competences
(Preconfigured vs metaconfigured competences: Chappell and Sloman)

Incomplete note on problems of rotation in a discrete space

What could have led to euclidean geometry?
Why is it so hard to get machines to reason like our ancestors
who produced Euclidean Geometry?

Ideas about "Representational
Redescription"
in Annette KarmiloffSmith's Beyond Modularity (1992)

Abstract for talk to mathematics school leavers
(17 April 2013)

Evolutionary transitions in informationprocessing
Far more and more varied than most people seem to have noticed?

Did life on earth start on dust particles?
The theory of Nasif Nahle, Monterrey, Mexico. If true this alters some of the domains
of competence required by earliest organisms.
Papers related to mathematics, philosophy, and life in the CogAff web site.
To be pruned, sorted, annotated.
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/affordancestypes.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/ase2014abs.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/betweenformandfunction.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/causationbackground.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/causationnotes.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/causationworkshop.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/causation.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/changingaffordances.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/convexhull.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/cupsaucerchallenge.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/discreterotate.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/embodimentissues.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/euclideanancestors.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/evolutioninfotransitions.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/evolvedcognition.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/evolvedrequirementsforcognition.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/genomearchitectureproject.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/graspinggrasping.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/infanttoddlerspace.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/informationbasedcontrol.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/irlablangcogabstract.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/kindsofstuff.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/languageofthought.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/languageuniversals.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/leedslogicabstract.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathairoboticsbiopapers.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathtalk.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathsandprogramming.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathsem.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/mathstuff.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/metamorphsem.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/metamorphogenesis.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/naturenurturecube.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/orthogonalcompetences.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/pgeometry.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/piagetpossibilitynecessity.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/questions.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/scalingupscalingout.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/simplicityontology.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/todd2.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/torus.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/trianglesum.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/triangletheorem130512.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/triangletheorem.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/watchstrap.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/290.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/plantsmaths
ADDITIONAL ITEMS TO BE MERGED
Maintained by
Aaron Sloman
School of Computer Science
The University of Birmingham