Mathematics
Profile Activity
Meta user
Network profile
331
reputation
2
10

bellpeace

Computer Science PhD student interested in theory of programming languages.

0
answers
6
questions
~6k
people reached
  • New York, United States
  • cs.nyu.edu/~zvonimir
  • Member for 8 years, 11 months
  • 20 profile views
  • Last seen Apr 10 '19 at 19:18

Communities (9)

Top network posts

Top tags (14)

Score 0
Posts 2
Posts % 33
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 (6)

All Questions Answers
Votes Newest
10 Are total recursive functions recursively enumerable? Feb 20 '12
6 ZF Extensionality axiom May 19 '13
3 Induction, coinduction, and ordinal induction Nov 7 '16
2 Inequality $C\lceil\log{n}\rceil! \geq n^k$ Sep 16 '13
1 How to define infinite lists? Mar 3 '17
0 Finding a limit using arithmetic over cardinals Oct 20 '13

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →