Rigorous, and informal?

Authors:
David Love
Affiliations:
Department of Computing, Sheffield Hallam University
Venue:
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Year:
2011

Citing 5
Cited 0

A half-century survey on The Universal Turing Machine

A half-century survey on The Universal Turing Machine
The confluence of ideas in 1936

A half-century survey on The Universal Turing Machine
Hypercomputation: hype or computation?

Communications of the ACM - Evolving data mining into solutions for insights
Hypercomputation

Minds and Machines
Computation and Hypercomputation

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most debates on conceptual structures have focused on (Hilbert) formal theories, due to the absence of stronger theoretical frameworks (despite nearly 80 years of searching). In this paper we look for new conceptual structures by looking for weaker theories. We contend both that weaker theories are possible, and that they offer useful alternatives to the better known formal theories.