Impact
~15k
people reached
- 0 posts edited
- 0 helpful flags
- 3 votes cast
Jan
11 |
awarded | Student |
Jan
8 |
comment |
Usage of set theory in undergraduate studies
@mbsq: I'm sorry, but I just can't figure out what you mean by eternal and absolute math, so it's difficult to reply. I am interested to your point that you can pursue rigor without sticking to no "particular theory": how would you do that? To me, it sounds like saying that you can write a poem without using any particular alphabet. Anyway, reading my comments now, they sound a bit too polemical; I apologize for that. |
Jan
7 |
comment |
Usage of set theory in undergraduate studies
@mbsq-part two: The fact that multiple, particular choices to encode foundations exist should not mislead anyone into thinking that the results obtained by studying them (not only by applying them) are less "eternal" than the results you arbitrarily classify as such: your whole post is ultimately pivoted on such a subjective (and scarcely elaborated on) distinction. Finally, I find ironic that you deployed the fruits of reverse mathematics, arguably a foundational discipline, to dismiss the importance of foundational studies. |
Jan
7 |
comment |
Usage of set theory in undergraduate studies
@mbsq-part one: It seems to me that you have a merely utilitarian view of mathematical logic and foundational disciplines: as if they are "only" needed to attain consistency and rigor (which, by the way, is, in my opinion, as vital as creativity to mathematics: I dare to say that mathematics is a beautiful interplay between rigor and mental pure creation). What makes them even more exciting, to me at least, is that they are a beautiful subject of mathematical investigation themselves, giving them a special "double face" status. |
Jan
7 |
revised |
Usage of set theory in undergraduate studies
removed brainfart |
Jan
7 |
revised |
Usage of set theory in undergraduate studies
formatting improved |
Jan
7 |
answered | Usage of set theory in undergraduate studies |
Jan
6 |
awarded | Supporter |
Jan
6 |
asked | Sequent calculus: is there a complete linear reasoning (i.e., no trees)? |
Sep
26 |
answered | How to tell a paradox from a “paradox”? |
Mar
25 |
revised |
Interesting conjectures “discovered” by computers and proved by humans?
added 29 characters in body |
Mar
25 |
answered | Interesting conjectures “discovered” by computers and proved by humans? |
Oct
5 |
awarded | Nice Answer |
Sep
29 |
revised |
A book about model theory
grammar |
Sep
29 |
answered | A book about model theory |
Mar
26 |
comment |
Pseudonyms of famous mathematicians
Following your remark, I soft-documented a bit about Caccioppoli, and now I embrace your interpretation of his (alleged) statement :) |
Nov
8 |
awarded | Teacher |
Nov
8 |
answered | Pseudonyms of famous mathematicians |
Aug
23 |
awarded | Editor |
Aug
23 |
revised |
What's the notation for a function restricted to a subset of the codomain?
corrected link code |