The Probing of, Approximation to and Idealization of Structure for Foundations

[bensprott]

"The Probing of, Approximation to and Idealization of Structure" for Foundations

Hey,
Over the past six years I have worked with Lucien Hardy at Perimeter in Waterloo and Prakash Panangaden at McGill. This paper is the culmination of thoughts on physics gleaned from that work.

http://dl.dropbox.com/u/6040582/EvolvingUniverseFeb24.pdf"

or try this link

http://www.freewebs.com/bensprott/EvolvingUniverseFeb24.pdf"

or this

http://www.cs.mcgill.ca/~bsprot1/EvolvingUniverseFeb24.pdf"


Preamble:
After completing the requirements for an MSc in Computer Science at McGill University, I have attempted to formulate a novel view which places certain computational and mathematical concepts into the foundations of phycis. The following paper is deeply inspired by Panangaden, Keyes, Blute, Hardy and Ivanov's work as well as Lawvere's functorial semantics. Specifically, it takes an evolving universe as a Domain map with a Scott topology and further abstracts this to continuous functors so that a universe is evolving continuously over all structures. This is based on a tentative belief in a realist causal structure where the order relation is also seen as composition in a category. Attention is given to indefinite causal structure by looking at the Fischer impossibility result as an indication that, while Set is untenable for speaking about the universe, it is possibly natural for the universe to approximate the category of sets when the rich interplay of signalling systems is seen as a consensus protocol. This is all given a local semantics in that all knowledge is understood as derived from morphisms in a local lab. The morphisms in the history of the universe are mapped to local morphisms by a functor and a domain map.



Ben

 

[MTd2]

I cannot open the paper here at work. Do you have another link?

 

[bensprott]

hey,

thanks for the tip. I gave a new link

 

[MTd2]

Both of them doesn't work here. Why don't you try to host them here:

http://www.cs.mcgill.ca/~bsprot1/

 

[Demystifier]

Both of them doesn't work here.

All the links work for me.

 

[marcus]

I cannot open the paper here at work. Do you have another link?

All the links work for me.

Only certain types of www links may be accessible if one is "here at work" in the office if the company or government agency that one works for restricts web access from office computers. Just guessing.

 

[MTd2]

Yes, that's true. But the one on his personal website works here. Thank you!