Mathematics
Profile Activity
Network profile
281
reputation
1
7

Maicake

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

0
answers
4
questions
~3k
people reached
  • Bologna, Metropolitan City of Bologna, Italy
  • Member for 2 years, 5 months
  • 23 profile views
  • Last seen Apr 12 at 8:05

Communities (9)

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
11 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 '19
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 '19
0 Which first order logic logic equivalences are not valid in intuitionistic logic? Jan 4 '19

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest

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.