CONDATA: Adding Names to CODATA for Addressing Open Issues

In the spirit of advancing CODATA (Constructive Open Data Algebra with Types and Approximations), I propose CONDATA: Constructive Open Named Data Algebra. This extension builds on CODATA by introducing names as a fundamental component, enabling a richer, more flexible representation of mathematical objects and relationships. While CODATA relies on finite sequences of pure data, CONDATA introduces named data elements that enhance expressiveness without the need for classical set-theoretic constructs.

Can Computation Create Math? (ChatGPT as Burgin/Youssuf Debate)

Welcome, everyone, to this special debate exploring the question: Can computation serve as the foundation for the kind of mathematics required by physics? Today, we are privileged to witness a non-rivalrous debate between two distinguished thinkers--Mark Burgin and Saul Youssef. They will present their models, offering alternative perspectives on how computation might underlie mathematical and physical truths.,

TSM-7: From Aristotle to Newton — Towards a Scientific Theory of Computation

Since the dawn of computer science, our understanding of computation has been shaped by mathematical theories, from Aristotle's logic to Turing's formalization of algorithms. Turing Machines, with their elegant abstraction of computation into discrete steps on an infinite tape, have become a cornerstone of computational theory. However, this mathematical approach, while powerful, lacks a crucial element: empirical testability.

Blog at WordPress.com.

Up ↑