### MF42a: Deflating modern mathematics: the problem with `functions'

[First of two parts] Here we address a core logical problem with modern mathematics--the usual definition of a `function' does not contain precise enough bounds on the nature of the rules or procedures (or computer programs) allowed. Here we discuss the difficulty in the context of functions from natural numbers to natural numbers, giving lots of explicit examples. WARNING: this video and the next destabilizes much of the mathematics taught in universities.This lecture is part of the MathFoundations series, which tries to lay out proper foundations for mathematics, and will not shy away from discussing the serious logical difficulties entwined in modern pure mathematics. The full playlist is at http://www.youtube.com/playlist?list=PL5A714C94D40392AB&feature=view_all

Length:
09:43