Diagonalization
19 Followers
Recent papers in Diagonalization
These additions are meant to indicate some of the directions my research has taken since the publication of the book with this title.
These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre's theory of pure reflection, the... more
Jacobi's method is a well-known algorithm in linear algebra to diagonalize symmetric matrices by successive elementary rotations. We report here about the generalization of these elementary rotations towards canonical transformations... more
Slides from a presentation at a satellite workshop of the Deutsche Mathematiker Vereinigung (DVM) on "Trends in Proof Theory" in Hamburg September 20, 2015,
I develop a new account of Socratic elenchos, starting from the observation that Plato's Socrates asks not one but two logically determinative questions in elenchos: the ti esti, or, “What is —?” question, and the peri tinos, or, “— about... more
This article demonstrates the invalidity of Theorem VI of Gödel's monograph of 1931, showing that propositions (15) and (16), derived from definition (8.1), in its proof, are false in PA. This is achieved in two steps. First, the... more
Contents Part I Arithmetic Chapter 1 Sets and Orders 1.1 Sets 1.2 Relations 1.3 Ordinals 1.4 Frames Chapter 2 Formal Arithmetic 2.1 Arithmetic Language with the Truth Predicate 2.2 Classical Valuation 2.3 Truth Arithmetic and... more
Lecture Notes Contents: Chapter 2 Matrices and Systems of Linear Equations 2.1 Matrices: definitions and notations 2.2 Matrix algebra 2.3 Terminology and notation for systems of linear equations 2.4 Elementary row operations and row... more
Form & Formalism 3
Jan van Eyck Institute, Maastricht
June, 2012
Jan van Eyck Institute, Maastricht
June, 2012
This paper reveals why Cantor's diagonalization argument fails to prove what it purportedly proves and the logical absurdity of "uncountable sets" that are deemed larger than the set of natural numbers. Cantor's diagonalization proof... more
The paper undertakes an analysis of the discussion about the presence and varieties of the de dicto / de re ambiguity for names. I will argue that we are dealing with several phenomena here, which are relatively easy to confuse: first,... more
Jacobi's method is a well-known algorithm in linear algebra to diagonalize symmetric matrices by successive elementary rotations. We report here about the generalization of these elementary rotations towards canonical transformations... more
We derive an efficient numerical algorithm for the analysis of certain classes of Hilbert–Schmidt operators that naturally occur in models of wireless radio and sonar communications channels. A common short-time model of these channels... more
In this paper I discuss the question of the norm, conceived as a philosophical problem, rather than an ethical, political, or social one. Firstly, I outline the main declinations of the “critique of normative reason”, which has... more