Mathematics
Peter Heinig's user avatar
Peter Heinig's user avatar
Peter Heinig's user avatar
Peter Heinig
  • Member for 6 years, 5 months
  • Last seen more than 3 years ago
Profile Activity
Stats
1,258
reputation
13k
reached
12
answers
22
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
17
bronze badges
Top tags
View all tags
24
Score
6
Posts
18
Posts %
14
Score
6
Posts
18
Posts %
4
Score
18
Posts
53
Posts %
4
Score
5
Posts
15
Posts %
2
Score
6
Posts
18
Posts %
2
Score
5
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
12
Use of $\implies$ and $=$ when stricter conditions are true
Sep 23, 2017
answer
11
Why is it called linear logic?
Jun 28, 2017
answer
7
What is an example of a non standard model of Peano Arithmetic?
Jan 29, 2018
answer
6
Understanding the philosophy behind the axiomatic definition of reals
Feb 18, 2018
question
4
References discussing the technical differences of $\neg\mathrm{Con}(\mathrm{PA})$ and "to exhibit an actual contradiction in PA"?
Jul 25, 2017
question
4
Is there anything even close to a "standard symbol" to indicate that a diagram is required to commute?
Aug 3, 2017
answer
4
Monomorphism and Epimorphism
Aug 8, 2017
question
3
Is there any usual attempt in model theory to define someting like the "canonical" signature of a class of structures.
Aug 5, 2017
question
3
What is known about the image of the Jones polynomial functor (in particular on the class of all knots)?
Aug 8, 2017
question
3
How to prove that any discrete set without limit points in the plane maps to the integers via ambient isotopy? Which extension theorem to cite?
Aug 11, 2017
Top network posts
View all network posts
45
Endless controversy about the correctness of significant papers
40
Did Hilbert laugh?
29
Mathematical games interesting to both you and a 5+-year-old child
28
Contemporary philosophy of mathematics
27
How did the refereeing system of Gösta Mittag-Leffler's Acta Mathematica function from 1882 to (about) 1918?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.