Nova Spivack

Gödel's incompleteness, Turing's halting undecidability, Kleene's recursion theorem, Tarski's truth undefinability, and Löb's reflection theorem are five of the most celebrated results in 20th-century logic and computation. A new machine-checked theorem p

This article is about a new kind of simple computational rule ("LACE rules" running on LACE, the Link Automata Computing Engine platform) which, when applied locally on a grid of cells, demonstrates fascinating emergent "artificial life" behavior.

The Question That Changes Everything Can a computer ever be truly conscious? Not just intelligent, not just responsive, but actually aware in the way you are aware right now? This isn't just a fascinating question-it's one we can answer with mathematical

Nova Spivack www.novaspivack.com May 28, 2025 Abstract This paper constructs a formal deductive argument for the necessity of a processing modality that transcends standard Turing-equivalent computation-termed herein "Transputation"-for any system capable

Status note (April 2026): The papers in this series on Information Physics have been substantially revised and clarified, but still contain conjectures and speculative explorations. The NEMS formal research program - the machine-checked suite of 93 papers

A history-making mission to send a commercial lander to the moon is set to carry DNA to the final frontier.

I have developed a way to supercharge ChatGPT. It's called Nova Mode and it's an awesome custom instruction that you can paste into your ChatGPT Custom instructions (see screenshot below) in ChatGPT Settings. This modifies how ChatGPT works in all your ch

Introduction The evolution of Artificial Intelligence (AI) has surpassed mere computation and data processing, leading to the emergence of distinct levels of AI sophistication. Each level represents a leap in capabilities, complexity, and potential impact

Abstract This paper posits a future scenario where the unique attributes of both human and artificial intelligence (AI) form a transformative partnership. Coined as 'Exponential Intelligence,' this amalgam of human-AI capabilities has the potential to rev