Stack Exchange Network

Stack Exchange network consists of 175 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

By using our site, you acknowledge that you have read and understand our Cookie Policy, Privacy Policy, and our Terms of Service.

MathOverflow
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Antonio E. Porreca
Network profile

Reputation

1,115
  • 1.1k
  • 1k
  • 917
  • 2016
  • 2017
  • 2018
  • 2019

Top tag

lo.logic

Next privilege

2,000 Rep.
Edit questions and answers

Badges

1
9
14

Newest

 Yearling

Next badge

0/1
Custodian

Impact

~134k
people reached
2 posts edited
0 helpful flags
177 votes cast
Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

16 Answers

Newest Activity Votes
45
What is your favorite “strange” function?
Apr 22 '10 at 16:37
15
Are there complexity classes with provably no complete problems?
Jun 9 '10 at 19:39
11
The best text to study both incompleteness theorems
Aug 1 '10 at 11:29
10
What is the history of the Y-combinator?
Jul 14 '10 at 19:54
8
Typesetting mathematics: how do {\em you} convert text into pdf?
Apr 15 '10 at 15:12
7
Interesting complexity classes $PR \subsetneq c \subsetneq R$
Aug 13 '10 at 14:01
7
post correspondence problem
Aug 12 '10 at 23:03
7
Lower Bounds in Theoretical Computer Science
Jul 11 '10 at 21:08
6
Which math paper maximizes the ratio (importance)/(length)?
May 21 '10 at 21:21
6
Is there a “primitive-recursively enumerable” set whose complement is not such?
Apr 12 '10 at 12:26
5
What is some good introduction to lambda calculus?
Jul 2 '11 at 19:32
5
What is the intuitive meaning of star and box in a pure type system?
Apr 29 '10 at 21:49
4
Can I have an LL grammar for every deterministic context free language?
Jul 13 '10 at 18:47
4
reversible Turing machines
May 10 '10 at 12:04
1
Resources for learning domain theory?
May 15 '10 at 8:57
1
Provability of termination. Whats wrong with my reasoning?
Apr 16 '10 at 22:34
MathOverflow
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • Stack Overflow Business
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
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 (27)
  • 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 (11)
  • 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 (8)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn

site design / logo © 2019 Stack Exchange Inc; user contributions licensed under cc by-sa 4.0 with attribution required. rev 2019.12.11.35611