ACMES 2 video playlist is now complete

ACMES 2, Computationally Assisted Mathematical Discovery and Experimental Mathematics, was a four-day conference held on May 12 - 15, 2016 at Western University. Computational Discovery, also called Experimental Mathematics, is the use of symbolic and numerical computation to discover patterns, to identify particular numbers and sequences, and to gather evidence in support of specific mathematical [...]

2017-02-15T15:27:32+00:00 February 15th, 2017|Events, Philosophy of Mathematics|

What did Gödel show with his first incompleteness theorem?

By Philippos Papayannopoulos It's very common to read and hear people talking about Kurt Gödel's famous (first) incompleteness theorem, in popular media, books, discussions, etc. Which is a very good thing I think, given how wonderful and ingenious the ideas and the reasoning behind this theorem are. But even though it's more than almost 85 [...]

2016-11-16T10:03:38+00:00 November 16th, 2016|Logic, Philosophy of Mathematics, Popular science|