Network profile

Neel Krishnaswami

Reputation

8,413

8.4k
7.9k
7.4k

2018
2019
2020
2021

Top tag

lo.logic

Next privilege

10,000 Rep.

Access moderator tools

Badges

1

25

53

Newest

Caucus

Next badge

0/1

Impact

4 posts edited

0 helpful flags

377 votes cast

Answers (79)

Votes Activity Newest

86	Which mathematical ideas have done most to change history?
59	Is there any formal foundation to ultrafinitism?
52	Is there an introduction to probability theory from a structuralist/categorical perspective?
30	How do they verify a verifier of formalized proofs?
29	A programming language that can only create algorithms with polynomial runtime?

View more →

Reputation (8,413)

+10	Any example of a non-strong monad?
+10	Equality vs. isomorphism vs. specific isomorphism
+10	Are real numbers countable in constructive mathematics?
+10	Is there an introduction to probability theory from a structuralist/categorical perspective?

View more →

Questions (8)

Votes Activity Newest

15	What do you use categorical glueing/sconing/Freyd covers for?
14	How is Fredkin and Toffoli's Conservative Logic related to Linear Logic?
13	What happens when we print the digits of a real number?
13	Why is Kleene's notion of computability better than Banach-Mazur's?
12	Replacing logician-constructive with combinatorist-constructive?

View more →

Tags (67)

471 lo.logic × 48	87 model-theory × 6
164 ct.category-theory × 20	78 constructive-mathematics × 4
154 mathematical-philosophy × 9	59 ultrafinitism
92 reference-request × 6	57 pr.probability × 2
90 set-theory × 11	53 proof-theory × 8

View more →

Bookmarks (8)

Votes Activity Newest Views Added

205	Is there an introduction to probability theory from a structuralist/categorical perspective?
51	What are surprising examples of Model Categories?
43	A principle of mathematical induction for partially ordered sets with infima?
34	Geometric intuition for limits
8	How to formally — and cleanly — express relationships of limits of diagrams?

View more →

Accounts (4)

	Theoretical Computer Science	30,490 rep	89 silver badges159 bronze badges
	MathOverflow	8,413 rep	1 gold badge25 silver badges53 bronze badges
	Computer Science	411 rep	2 silver badges7 bronze badges
	Meta Stack Exchange	101 rep

Badges (25)

Recent Class Name

Caucus × 2	Guru
Yearling × 11	Explainer
Nice Answer × 32	Curious
Good Answer × 8	Pundit
Necromancer	lo.logic

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (377)

all time			by type
371	up		93	question
6	down		284	answer

MathOverflow works best with JavaScript enabled