MAT08 Issues-and-Aspects Part-1 PermalinoGD
MAT08 Issues-and-Aspects Part-1 PermalinoGD
Aspects
The Concepts and Role of the Proof
GRACE D. PERMALINO
SLSU - CTE
Objectives
1. Discuss the foundations and
formalism of mathematics
2. Explore the relationship between
mathematics and emergence of
technology
Formalism
• In popular terms, formalism is
the view that mathematics is a
meaningless formal game played
with marks on paper, following
rules.
Formalism
• Traces of a formalist philosophy of
mathematics can be found in the
writings of Bishop Berkeley, but the
major proponents of formalism are
David Hilbert (1925), early
J.vonNeumann (1931) andH.Curry
(1951).
MAT08_The Liar Paradox - an explanation of the paradox from 400 BCE.mp4
Reference:
https://slideplayer.com/slide/12962210/
https://www.slideserve.com/albertshaw/the-
philosophy-of-mathematics-powerpoint-ppt-
presentation