Related papers: G\"{o}del's incompleteness theorem and the Anti-Me…
Using Y.Andr\'e's result on differential equations staisfied by $E$-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between…
This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard model and much stronger versions about expansions of…
In 1950, Novak and Mostowski showed that GB (G\"odel-Bernays theory of classes) is conservative over ZF, and therefore by G\"odel's second incompleteness theorem the consistency of ZF is unprovable in GB. In the same year Mostowski unveiled…
Quantum mechanics has irked physicists ever since its conception more than 100 years ago. While some of the misgivings, such as it being unintuitive, are merely aesthetic, quantum mechanics has one serious shortcoming: it lacks a physical…
The problem of defining and locating free will (FW) in physics is studied. On basis of logical paradoxes, we argue that FW has a meta-theoretic character, like the concept of truth in Tarski's undefinability theorem. Free will exists…
In a 2004 article, Udo Baumgartner and George Willis used ideas from the structure theory of totally disconnected, locally compact groups to achieve a better understanding of the contraction group U_f associated with an automorphism f of…
We study systems with an Adler-Bell-Jackiw anomaly in terms of non-invertible symmetry. We present a new kind of non-invertible charge defect where a key role is played by a local current operator localized on the defect. The charge defects…
The mathematical notion of incompleteness (eg of rational numbers, Turing-computable functions, and arithmetic proof) does not play a key role in conventional physics. Here, a reformulation of the kinematics of quantum theory is attempted,…
Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and…
From the perspective of the physics of complex systems (1) we deal with the current state of modern physics including the crisis in physics demonstrated through its epistemological, psychological, economical as well as the social context;…
The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…
We revisit some ideas of K.-M.~Perfekt who has provided an elegant framework to detect the biduality between function or sequence spaces defined in terms of some $o$- resp.\ $O$-condition. We present new proofs under somewhat weaker…
Recent work by Faizal et al. (2025) claims that G\"odelian undecidability of non-algorithmic truths in our universe imply the impossibility of a formal, algorithmic simulation of the universe. This paper clarifies the distinction between…
Transcript of G.J. Chaitin's 2 March 2000 Carnegie Mellon University School of Computer Science Distinguished Lecture. The notion of randomness is taken from physics and applied to pure mathematics in order to shed light on the…
In part I of the rebuttal (see [2] to the article [1] entitled "Uniform stabilization for the Timoshenko beam by a locally distributed damping" published in 2003, in the journal Electronic Journal of Differential Equations, we prove that…
We investigate completeness for modal G\"odel logics with respect to finite G\"odel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fail to be complete with respect to finite G\"odel-Kripke…
Using a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…
This manuscript (hep-th/9906140v1) is incomplete. Please read instead S. D. G{\l}azek, T. Mas{\l}owski, Renormalized Poincar\'e algebra for effective particles in quantum field theory, Phys.Rev. D65 (2002) 065011, (hep-th/0110185).