"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:
13 Jul 2018; 24 Mar 2019; 4 Apr 2019
22 Sep 2013; 21 Nov 2013; 9 Sep 2014; 7 Dec 2014; 29 Mar 2015; 4 Sep 2016;
N.B. The order of items listed here is not significant.
The order may be revised later.
Many of the documents are available in both html and pdf formats.
If you prefer pdf, try changing the url to end in 'pdf'. If that
fails restore the 'html' suffix.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/kantmaths.html
Key Aspects of Immanuel Kant's Philosophy of Mathematics
Ignored by most psychologists and neuroscientists
studying mathematical competences

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/toddlertheorems.html
Toddler theorems (protomathematical discoveries) 
what they are and some examples
E.g.
toddler exploring 3D topology with
pencil.

http://www.cs.bham.ac.uk/research/projects/cogaff/misc/impossible.html
On seeing that X is impossible, and seeing why X is impossible, with a large
collection of examples.

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/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/turingintuition.html
Alan Turing's 1938 thoughts on intuition vs ingenuity
in mathematical reasoning.
Did he unwittingly rediscover key ideas first presented
in Immanuel Kant's philosophy of mathematics?
Abstract of talk on this to Zurich philosophy students, March 2019.
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/zurichtalk.html

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/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,

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
I try to show that biological evolution (blindly) made use of mathematical
domains long before humans existed on this planet  e.g. the domain of designs
for homeostatic control systems, including negative feedback loops of various
sorts, and subdomains of the domain of chemically controlled morphogenesis
discussed in Turing (1952), among many others.

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.

The MetaConfigured Genome
Based on collaboration with Jackie Chappell

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