Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 - Recursive ordinal - Document - PDFSEARCH.IO

First Page	Meta Content
	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Document Date: 2014-02-24 17:59:08 Open Document File Size: 327,81 KB Share Result on Facebook Company Russell / Paul Budnik Mountain Math Software / / / IndustryTerm space-time containing finite energy / dark energy / recursive systems / formal systems / / Person Solomon Feferman / / Position qualifier / / ProvinceOrState Oregon / / SocialTag Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic

Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014Add to Reading List