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

8 Questions

Votes Activity Newest Views

10

15

votes

2

answers

809

views

What do you use categorical glueing/sconing/Freyd covers for?

ct.category-theory computer-science lo.logic big-picture

May 25 '10 at 0:25 Mike Shulman 54k

8

14

votes

1

answer

879

views

How is Fredkin and Toffoli's Conservative Logic related to Linear Logic?

lo.logic linear-logic mathematical-philosophy mp.mathematical-physics

Jun 22 '12 at 23:55 Community♦ 1

5

13

votes

7

answers

2k

views

What happens when we print the digits of a real number?

constructive-mathematics lo.logic computability-theory

Jul 30 '10 at 6:17 T.. 3,385

8

13

votes

2

answers

2k

views

Why is Kleene's notion of computability better than Banach-Mazur's?

lo.logic computer-science realizability computability-theory

Apr 21 '10 at 20:52 Community♦ 1

3

12

votes

7

answers

828

views

Replacing logician-constructive with combinatorist-constructive?

co.combinatorics lo.logic

Jun 5 '10 at 20:05 Community♦ 1

6

votes

0

answers

128

views

Lambek calculus, linear logic, and linear algebra

reference-request linear-algebra proof-theory linear-logic

Mar 20 '19 at 10:49 Neel Krishnaswami 8,413

5

votes

1

answer

335

views

How to teach generalizing the induction hypothesis? [closed]

mathematics-education teaching

Apr 24 '15 at 21:46 Timothy Chow 55.9k

2

4

votes

1

answer

365

views

“Category” of Nonempty Metric Spaces and Contractive Maps?

ct.category-theory gn.general-topology

Feb 18 '10 at 11:51 Andrew Stacey 24.7k

MathOverflow works best with JavaScript enabled