Dissertação
Physics, Computation and Definability EVALUATED
A ligação entre física e computabilidade está ainda por esclarecer. Nesta dissertação apresentamos a nossa investigação sobre este tema, incluindo algumas ideas básicas em história e filosofia da computação e novos resultados matemáticos de teorias relacionadas. A dissertação está dividida em três partes. A primeira parte diz respeito à história da computabilidade e à ligação entre física e computabilidade; discutiremos a natureza do conhecimento físico e as suas possíveis ligações com a computabilidade. A segunda parte da dissertação é um estudo em computação experimental, uma área de investigação esculpida por Edwin Beggs e John Tucker, com o objectivo de investigar a ligação entre física e computabilidade; iremos considerar experiências com massas pontuais num mundo Newtoniano abstracto. A terceira parte desenvolve a teoria das funções reais recursivas, originalmente criada para estudar fenómenos e sistemas dinâmicos em tempo contínuo de um ponto de vista computacional; iremos esclarecer quase completamente os aspectos mais gerais desta teoria.
novembro 13, 2007, 14:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
