My Math Forum  

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

Number Theory Number Theory Math Forum

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

Posts: 1,921
Thanks: 534

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 offline  

  My Math Forum > College Math Forum > Number Theory

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 © 2018 My Math Forum. All rights reserved.