My Math Forum  

Go Back   My Math Forum > College Math Forum > Number Theory

Number Theory Number Theory Math Forum


Thanks Tree1Thanks
Reply
 
LinkBack Thread Tools Display Modes
June 21st, 2017, 09:25 AM   #31
Senior Member
 
Joined: Aug 2012

Posts: 1,528
Thanks: 364

Quote:
Originally Posted by AplanisTophet View Post
The problem obviously arises in step 2. I still don’t think I’ve fully answered your question, but hopefully it’s extremely apparent why computing the formula is different than simply saying “let this subset exist” based on the axiom schema.
I'm sure I'm overthinking it, I'll look at this some more later.
Maschke is online now  
 
Reply

  My Math Forum > College Math Forum > Number Theory

Tags
noncomputable, reals



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Reals Lalitha183 Abstract Algebra 3 June 2nd, 2017 10:02 PM
Power Set of the Reals is Countable zylo Topology 2 July 2nd, 2016 05:05 PM
Independence of Reals mathbalarka Number Theory 1 May 9th, 2013 05:51 AM
Computable completion iclestu Applied Math 2 October 26th, 2011 11:40 AM
Integration over the reals? finding R(dx) cernlife Real Analysis 5 May 30th, 2011 08:37 PM





Copyright © 2017 My Math Forum. All rights reserved.