Mathematics
Potato44's user avatar
Potato44's user avatar
Potato44's user avatar
Potato44
  • Member for 5 years, 7 months
  • Last seen this week
Profile Activity
Stats
274
reputation
1k
reached
4
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
3
Score
2
Posts
40
Posts %
3
Score
2
Posts
40
Posts %
3
Score
2
Posts
40
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
2
Score
2
Posts
40
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Type theoretical foundation of unbounded Zermelo set theory
Jan 6, 2020
answer
2
SKI Calculus prefix notation of odd/even number
Jan 29, 2021
answer
1
Excluded middle, double negation, contraposition and Peirce's law in minimal logic
Jul 25, 2020
question
0
Definition of function application in ZF-like theories [duplicate]
Sep 16, 2018
answer
0
Is expression evaluated before assigning type?
Mar 31, 2019
Top network posts
View all network posts
13
Add a language to a polyglot
11
Add a language to a polyglot
10
Add a language to a polyglot
10
Interpreted arithmetic
9
Add a language to a polyglot

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.