MathOverflow
Mauro ALLEGRANZA's user avatar
Mauro ALLEGRANZA's user avatar
Mauro ALLEGRANZA's user avatar
Mauro ALLEGRANZA
  • Member for 10 years, 5 months
  • Last seen this week
Profile Activity
Stats
1,681
reputation
41k
reached
16
answers
2
questions
Communities
View all
About

An old "dilettante" of mathematical logic , philosophy of science and history of science.

Badges
View all badges
1
gold badge
12
silver badges
16
bronze badges
Top tags
View all tags
101
Score
12
Posts
67
Posts %
77
Score
13
Posts
72
Posts %
51
Score
5
Posts
28
Posts %
42
Score
5
Posts
28
Posts %
40
Score
6
Posts
33
Posts %
23
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
answer
20
History of the notation for substitution
Jun 26, 2016
answer
18
History of Mathematical Notation
Nov 28, 2015
answer
16
What was Hilbert's view of Gödel's Incompleteness Theorems?
Nov 4, 2015
answer
13
The logic of Buddha: a formal approach
Jun 6, 2018
answer
10
origin of analogy "primes as the atoms of number theory/ arithmetic"
Apr 25, 2016
answer
9
Pasch axiom and Pythagorean field condition?
May 9, 2016
answer
8
Has Dedekind's proof of existence of infinite sets been analyzed by historians?
Jun 2, 2016
question
7
Original proof of Gödel's completeness theorem compared to Henkin's proof
Nov 12, 2013
answer
7
History of set-class distinction
Sep 25, 2015
answer
6
Two questions on substitutability
Feb 8, 2015
Top network posts
View all network posts
92
What famous theorems or results were proven by female mathematicians?
47
Why is "mathematical induction" called "mathematical"?
46
How did early mathematicians make it without Set theory?
42
Why does "Daisy has four legs" not entail "Daisy has more than two legs"?
35
How is first-order logic complete but not decidable?