Skip to main content
History of Science and Mathematics
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 2 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
531
reputation
9k
reached
10
answers
0
questions
Communities
About

One day I will make the most beautiful proof assistant in the world. If not, I will become the king of pirates.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
19
Score
2
Posts
20
Posts %
18
Score
1
Posts
10
Posts %
18
Score
1
Posts
10
Posts %
15
Score
6
Posts
60
Posts %
10
Score
2
Posts
20
Posts %
5
Score
1
Posts
10
Posts %
Top posts
answer
18
I want to know the tricks to search for and find old academic journals for free
May 22
answer
6
Who is William Bigelow Easton?
May 5
answer
5
Are there any well known mathematicians who were fascists?
Oct 9, 2022
answer
5
Origin of modern definition of a function as a graph
Apr 21
answer
3
Where can I find Weierstrass's research notes?
Apr 18
answer
2
Relation between Bourbaki group and Vienna Circle
Sep 29
answer
1
Why did pre-17th century mathematics mostly come from Italy but later mathematics came from France, Germany and England?
Jul 19
answer
1
Could you recommend a book that describes Archimedes' achievements as objectively as possible?
Sep 27
answer
1
Why Was Sequential Analysis Classified?
Oct 10, 2022
answer
1
What were the obstacles that made the discovery of calculus very late?
Mar 27
Top network posts
View all network posts
6
Is there a proof assistant for Peano Arithmetic?
5
Are search heuristics the main bottleneck for automated theorem provers?