Frege and Functions

The video discusses the impact of Fraga's application of functions to logic, leading to the concepts of computable and non-computable functions, which paved the way for modern computing. It explains how mathematical functions were generalized in logic, enabling proof procedures and logical truth tests. The distinction between computable and non-computable functions is highlighted, along with the transformative effect of computation on the world, influenced by Turing's work.

What does the distinction between computable and non-computable functions imply?

In what ways has computation transformed our world according to the text?