The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
2answers
2k views

Math History Question about the exponential function

While tutoring a student recently, I have come across the situation of explain logarithms by first introducing functions of the form $$f(x)= a^x$$ where $a \ge 0,x\in \mathbb{R}$. My student then ...
9
votes
3answers
976 views

Is formal proof (formalized mathematics) interesting to practicing mathematicians? To educators? [closed]

Formalizing mathematical proofs so that they can be checked for correctness and manipulated by computer is a recurrent proposal, most notably stated in the QED manifesto (1994). The December 2008 ...
6
votes
2answers
2k views

How platonistic is your attitude towards mathematics? [closed]

A discussion in the n-category cafe about Manin's 'emotional Platonism' made me wonder how such a perception of mathematics is distributed among mathematicians and how that influences attitudes ...
-3
votes
2answers
455 views

what is logic without a proof system [closed]

Is there a proof for no proof ?
13
votes
7answers
2k views

Is no proof based on “tertium non datur” sufficient any more after Gödel?

There are many proofs based on a "tertium non datur"-approach (e.g. prove that there exist two irrational numbers a and b such that a^b is rational). But according to Gödel's First Incompleteness ...
52
votes
10answers
5k views

Why do Groups and Abelian Groups feel so different?

Groups are naturally "the symmetries of an object". To me, the group axioms are just a way of codifying what the symmetries of an object can be so we can study it abstractly. However, this heuristic ...