Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • MathOverflow
      help chat
    • MathOverflow Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
MathOverflow
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Meta user
Network profile
Neel Krishnaswami

Reputation

8,353
  • 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
52

Newest

 Yearling

Next badge

0/1
Excavator

Impact

~296k
people reached
4 posts edited
0 helpful flags
377 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

8 Questions

Votes Activity Newest Views
10
15
votes
2
answers
778
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 53.3k
8
14
votes
1
answer
871
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
821
views

Replacing logician-constructive with combinatorist-constructive?

co.combinatorics lo.logic
Jun 5 '10 at 20:05 Community♦ 1
 
6
votes
0
answers
125
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,353
 
5
votes
1
answer
334
views

How to teach generalizing the induction hypothesis? [closed]

mathematics-education teaching
Apr 24 '15 at 21:46 Timothy Chow 55.1k
2
4
votes
1
answer
362
views

“Category” of Nonempty Metric Spaces and Contractive Maps?

ct.category-theory gn.general-topology
Feb 18 '10 at 11:51 Andrew Stacey 24.6k
MathOverflow
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.3.5.38718