Mathematics
Network profile
171
reputation
6

Maicake

Apparently, this user prefers to keep an air of mystery about them.

0
answers
4
questions
~2k
people reached
  • Bologna, Metropolitan City of Bologna, Italy
  • Member for 11 months
  • 18 profile views
  • Last seen Jun 13 at 15:03

Communities (8)

Top network posts

Top tags (7)

Score 0
Posts 2
Posts % 50
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4) All Questions Answers | Votes Newest

7 Why do we use von Neumann ordinals and not Zermelo ordinals? Oct 29 '18
2 When should I use RAA in natural deduction proofs? Jan 2
2 Natural deduction proof of $(A \to \lnot B \lor C), ((\lnot D \land A) \to B), (\lnot E \to A) \vdash D \lor (C \lor E)$ Jan 2
0 Which first order logic logic equivalences are not valid in intuitionistic logic? Jan 4

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest