91 reputation
5
bio website uniroma1.academia.edu/…
location
age
visits member for 4 years
seen Apr 16 '13 at 11:25

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