It is unfortunate for the philosophical community generally, and for those philosophers who pursue various versions of idealism in particular, that a logician of Kurt Goedel’s genius published very little of non-mathematical philosophical interest. Amongst his unpublished papers at Princeton there are, however, several versions of a paper he wrote on the relevance of contemporary relativity to the philosophy of Kant. The purpose of the present paper is to give a partial exposition and defence of Goedel’s view that contemporary relativity (...) supports a neo-Kantian idealistic position with regard to time. (shrink)

This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no ...

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The (...) most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert's program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Goedel's theorems and computer science, philosophy of mathematics (...) in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory. (shrink)

The article is devoted to the comparison of two types of proofs in mathematical practice, the methodological differences of which go back to the difference in the understanding of the nature of mathematics by Descartes and Leibniz. In modern philosophy of mathematics, we talk about conceptual and formal proofs in connection with the so-called Hilbert Thesis, according to which every proof can be transformed into a logical conclusion in a suitable formal system. The analysis of the arguments of (...) the proponents and opponents of the Thesis, “conceptualists” and “formalists”, is presented respectively by the two main antagonists – Y. Rav and J. Azzouni. The focus is on the possibility of reproducing the proof of “interesting” mathematical theorems in the form of a strict logical conclusion, in principle feasible by a mechanical procedure. The argument of conceptualists is based on pointing out the importance of other aspects of the proof besides the logical conclusion, namely, in introducing new concepts, methods, and establishing connections between different sections of meaningful mathematics, which is often illustrated by the case of proving Fermat’s Last Theorem (Y. Rav). Formalists say that a conceptual proof “points” to the formal logical structure of the proof (J. Azzouni). The article shows that the disagreement is based on the assumption of asymmetry of mutual translation of syntactic and semantic structures of the language, as a result of which the formal proof loses important semantic factors of proof. In favor of a formal proof, the program of univalent foundations of mathematics In. Vojevodski, according to which the future of mathematical proofs is associated with the availability of computer verification programs. In favor of conceptual proofs, it is stated (A. Pelc) that the number of steps in the supposed formal logical conclusion when proving an “interesting” theorem exceeds the cognitive abilities of a person. The latter circumstance leads the controversy beyond the actual topic of mathematical proof into the epistemological sphere of discussions of “mentalists” and “mechanists” on the question of the supposed superiority of human intelligence over the machine, initiated by R. Penrose in his interpretation of the Second Theorem of Goedel, among whose supporters, as it turned out, was Goedel himself. (shrink)

The Jewish religious tradition summons its adherents to save life. For religious Jews preservation of life is the ultimate religious commandment. At the same time Jewish law recognizes that the agony of a moribund person may not be stretched. When the time to die has come this has to be respected. The process of dying should not needlessly be prolonged. We discuss the position of two prominent Orthodox Jewish authorities – the late Rabbi Moshe Feinstein and Rabbi J David Bleich (...) – towards the role of life-sustaining treatment in end-of-life care. From the review, the characteristic halachic and heterogeneous character of Jewish ethical reasoning appears. The specificity of Jewish dealing with ethical dilemmas in health care indicates the importance for contemporary healthcare professionals of providing care which is sensitive to a patient’s culture and worldview. (shrink)

The Diagnostic and Statistical Manual of Mental Disorders (5th ed.; DSM–5; American Psychiatric Association [APA], 2013) defines melancholia as “A mental state characterized by very severe depressi...

This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.

In The Consistency of Arithmetic and elsewhere, Meyer claims to “repeal” Goedel’s second incompleteness theorem. In this paper, I review his argument, and then consider two ways of understanding it: from the perspective of mathematical pluralism and monism, respectively. Is relevant arithmetic just another legitimate practice among many, or is it a rival of its classical counterpart—a corrective to Goedel, setting us back on the path to the (One) True Arithmetic? To help answer, I sketch a few worked examples from (...) relevant mathematics, to see what a non-classical (re)formulation of mathematics might look like in practice. I conclude that, while it is unlikely that relevant arithmetic describes past and present mathematical practice, and so might be most acceptable as a pluralist enterprise, it may yet prescribe a more monistic future venture. (shrink)

Information?rich environments are created to promote data use in schools for the purpose of self?evaluation and quality assurance. However, providing feedback does not guarantee that schools will actually put it to use. One of the main stumbling blocks relates to the interpretation and diagnosis of the information. This study examines the relationship between data literacy competences, support given in interpreting the information, actual use of the feedback and potential school improvement effect. A randomised field experiment with 188 school principals from (...) primary education was set up and a post?test was used to investigate the effects of a support initiative. The results revealed that a minority of schools invested significantly in the interpretation and diagnosis of the school performance feedback (SPF), despite the fact that most of the respondents showed an interest in the SPF report. In addition, data competence support and the subsequent use of feedback were found to be limited. (shrink)

For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

In “Minds, Machines, and Gödel”, J. R. Lucas claims that Goedel's incompleteness theorem constitutes a proof “that Mechanism is false, that is, that minds cannot be explained as machines”. He claims further that “if the proof of the falsity of mechanism is valid, it is of the greatest consequence for the whole of philosophy”. It seems to me that both of these claims are exaggerated. It is true that no minds can be explained as machines. But it is not (...) true that Goedel's theorem proves this. At most, Goedel's theorem proves that not all minds can be explained as machines. Since this is so, Goedel's theorem cannot be expected to throw much light on why minds are different from machines. Lucas overestimates the importance of Goedel's theorem for the topic of mechanism, I believe, because he presumes falsely that being unable to follow any but mechanical procedures in mathematics makes something a machine. (shrink)

"The Emperor's New Mind" by Roger Penrose has received a great deal of both praise and criticism. This review discusses philosophical aspects of the book that form an attack on the "strong" AI thesis. Eight different versions of this thesis are distinguished, and sources of ambiguity diagnosed, including different requirements for relationships between program and behaviour. Excessively strong versions attacked by Penrose (and Searle) are not worth defending or attacking, whereas weaker versions remain problematic. Penrose (like Searle) regards the notion (...) of an algorithm as central to AI, whereas it is argued here that for the purpose of explaining mental capabilities the architecture of an intelligent system is more important than the concept of an algorithm, using the premise that what makes something intelligent is not what it does but how it does it. What needs to be explained is also unclear: Penrose thinks we all know what consciousness is and claims that the ability to judge Go "del's formula to be true depends on it. He also suggests that quantum phenomena underly consciousness. This is rebutted by arguing that our existing concept of "consciousness" is too vague and muddled to be of use in science. This and related concepts will gradually be replaced by a more powerful theory-based taxonomy of types of mental states and processes. The central argument offered by Penrose against the strong AI thesis depends on a tempting but unjustified interpretation of Goedel's incompleteness theorem. Some critics are shown to have missed the point of his argument. A stronger criticism is mounted, and the relevance of mathematical Platonism analysed. Architectural requirements for intelligence are discussed and differences between serial and parallel implementations analysed. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s (...) logical definitions of arithmetical concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

Einsteinian gravity, of which Newtonian gravity is a part, is fraught with the problem of singularity that has been established as a theorem by Hawking and Penrose. The _hypothesis_ that founds the basis of both Einsteinian and Newtonian theories of gravity is that bodies with unequal magnitudes of masses fall with the same acceleration under the gravity of a source object. Since, the Einstein’s equations is one of the assumptions that underlies the proof of the singularity theorem, therefore, the above (...) hypothesis is implicitly one of the founding pillars of the same. In this work, I demonstrate how one can possibly write a non-singular theory of gravity which manifests that the above mentioned hypothesis is only valid in an approximate sense in the “large distance” scenario. To mention a specific instance, under the gravity of the earth, a 5 kg and a 500 kg fall with accelerations which differ by approximately \(113.148\times 10^{-32}\) meter/sec \(^2\) and the more massive object falls with less acceleration. Further, I demonstrate why the concept of gravitational field is not definable in the “small distance” regime which automatically justifies why the Einstein’s and Newton’s theories fail to provide any “small distance” analysis. In course of writing down this theory, I demonstrate why the continuum hypothesis as spelled out by Goedel, is undecidable. The theory has several aspects which provide the following realizations: (i) Descartes’ self-skepticism concerning exact representation of numbers by drawing lines (ii) Born’s wish of taking into account “natural uncertainty in all observations” while describing “a physical situation” by means of “real numbers” (iii) Klein’s vision of having “a fusion of arithmetic and geometry” where “a point is replaced by a small spot” (iv) Goedel’s assertion about “non-standard analysis, in some version” being “the analysis of the future”. (shrink)

Various authors of logic texts are cited who either suggest or explicitly state that the Gödel incompleteness result shows that some unprovable sentence of arithmetic is true. Against this, the paper argues that the matter is one of philosophical controversy, that it is not a mathematical or logical issue.

My purpose in this brief paper is to consider the implications of a radically different computer architecure to some fundamental problems in the foundations of Cognitive Science. More exactly, I wish to consider the ramifications of the 'Gödel-Minds-Machines' controversy of the late 1960s on a dynamically changing computer architecture which, I venture to suggest, is going to revolutionize which 'functions' of the human mind can and cannot be modelled by (non-human) computational automata. I will proceed on the presupposition that (...) the reader is familiar with some of the fundamentals of computational theory and mathematical logic. (shrink)

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6]. In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. The absolute consistency result used as a (...) model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3, which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli. We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete. In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

My contribution to the symposium on Goedel’s philosophy of mathematics at the spring 2006 Association for Symbolic Logic meeting in Montreal. Provisional version: references remain to be added. To appear in an ASL volume of proceedings of the Goedel sessions at that meeting.

Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.

This paper offers an elementary proof that formal arithmetic is consistent. The system that will be proved consistent is a first-order theory R♯, based as usual on the Peano postulates and the recursion equations for + and ×. However, the reasoning will apply to any axiomatizable extension of R♯ got by adding classical arithmetical truths. Moreover, it will continue to apply through a large range of variation of the un- derlying logic of R♯, while on a simple and straightforward translation, (...) the classical first-order theory P♯ of Peano arithmetic turns out to be an exact subsystem of R♯. Since the reasoning is elementary, it is formalizable within R♯ itself; i.e., we can actually demonstrate within R♯ (or within P♯, if we care) a statement that, in a natural fashion, asserts the consistency of R♯ itself. The reader is unlikely to have missed the significance of the remarks just made. In plain English, this paper repeals Goedel’s famous second theorem. (That’s the one that asserts that sufficiently strong systems are inadequate to demonstrate their own consistency.) That theorem (or at least the significance usually claimed for it) was a mis- take—a subtle and understandable mistake, perhaps, but a mistake nonetheless. Accordingly, this paper reinstates the formal program which is often taken to have been blasted away by Goedel’s theorems— namely, the Hilbert program of demonstrating, by methods that everybody can recognize as effective and finitary, that intuitive mathematics is reliable. Indeed, the present consistency proof for arithmetic will be recognized as correct by anyone who can count to 3. (So much, indeed, for the claim that the reliability of arithmetic rests on transfinite induction up to ε0, and for the incredible mythology that underlies it.). (shrink)

In this paper we analyze methodological and philosophical implications of algorithmic aspects of unconventional computation. At first, we describe how the classical algorithmic universe developed and analyze why it became closed in the conventional approach to computation. Then we explain how new models of algorithms turned the classical closed algorithmic universe into the open world of algorithmic constellations, allowing higher flexibility and expressive power, supporting constructivism and creativity in mathematical modeling. As Goedels undecidability theorems demonstrate, the closed algorithmic universe restricts (...) essential forms of mathematical cognition. In contrast, the open algorithmic universe, and even more the open world of algorithmic constellations, remove such restrictions and enable new, richer understanding of computation. (shrink)

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6] (see also Routley [10] and Asenjo [11]). In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. (...) The absolute consistency result used as a model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3 (see e.g. [1] or [8]), which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure (called in this paper RM32) is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli (called RM3i here). We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete (whether or not consistent and recursively enumerable). In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show (unlike classical quantum arithmetic) that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

According to the received view, formalism – interpreted as the thesis that mathematical truth does not outrun the consequences of our maximal mathematical theory – has been refuted by Goedel's theorem. In support of this claim, proponents of the received view usually invoke an informal argument for the truth of the Goedel sentence, an argument which is supposed to reconstruct our reasoning in seeing its truth. Against this, Field has argued in a series of papers that the principles involved in (...) this argument – when applied to our maximal mathematical theory – are unsound. This paper defends the received view by showing that there is a way of seeing the truth of the Goedel sentence which is immune to Field's strategy. (shrink)

Roger Penrose is justly famous for his work in physics and mathematics but he is _notorious_ for his endorsement of the Gödel argument (see his 1989, 1994, 1997). This argument, first advanced by J. R. Lucas (in 1961), attempts to show that Gödel’s (first) incompleteness theorem can be seen to reveal that the human mind transcends all algorithmic models of it¹. Penrose's version of the argument has been seen to fall victim to the original objections raised against (...) Lucas (see Boolos (1990) and for a particularly intemperate review, Putnam (1994)). Yet I believe that more can and should be said about the argument. Only a brief review is necessary here although I wish to present the argument in a somewhat peculiar form. (shrink)

This is a dialogue in which five characters are involved. Various issues in the philosophy of mathematics are discussed. Among those issues are these: numbers as abstract objects, our knowledge of numbers as abstract objects, a proof as showing a mathematical statement to be true as opposed to the statement being true in virtue of having a proof.

Summarizing a surrounding 200 pages, pages 179 to 190 of Shadows of the Mind contain a future dialog between a human identified as "Albert Imperator" and an advanced robot, the "Mathematically Justified Cybersystem", allegedly Albert's creation. The two have been discussing a Gödel sentence for an algorithm by which a robot society named SMIRC certifies mathematical proofs. The sentence, referred to in mathematical notation as Omega(Q*), is to be precisely constructed from on a definition of SMIRC's algorithm. It can (...) be interpreted as stating "SMIRC's algorithm cannot certify this statement." The robot has asserted that SMIRC never makes mistakes. If so, SMIRC's algorithm cannot certify the Goedel sentence, for that would make the statement false. But, if they can't certify it, what is says is true! Humans can understand it is true, but mighty SMIRC cannot certify it. The dialog ends melodramatically as the robot, apparently unhinged by this revelation, claims to be a messenger of god, and the human shuts it down with a secret control. (shrink)

The Goedelian approach is discussed as a prime example of a science towards the origins. While mere self­referential objectification locks in to its own by­products, self­releasing objectification informs the formation of objects at hand and their different levels of interconnection. Guided by the spirit of Goedel's work a self­reflective science can open the road where old tenets see only blocked paths. “This is, as it were, an analysis of the analysis itself, but if that is done it forms the fundamental (...) of human science, as far as this kind of things is concerned.” G. Leibniz, ('Methodus Nova ...', 1673) . (shrink)

Hawking, in his book, A Brief History of Time, concludes with a conditional remark: If we find a complete theory to explain the physical world, then we will come to understand God’s mind. With Goedel in mind, we can raise questions about the completeness of our scientific understanding and the nature of our understanding with regard to God’s mind. We need to ask about the higher order of our understanding when we move to knowing God’s mind. We go onto develop (...) these problems with Nietzsche’s thoughts on the death of God, and the emergence of super human intelligences. Then, we come to Buddha, a logical genius, to see how the Buddhistic enlightenment exemplifies the super human intelligence, as well as the higher order understanding in our knowledge of God’s mind. (shrink)

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading for (...) anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students’ ability to understand proofs and construct correct proofs of their (...) own. The first chapter of the text introduces the kind of reasoning that mathematicians use when writing their proofs and gives some example proofs to set the scene. The book then describes basic logic to enable an understanding of the structure of both individual mathematical statements and whole mathematical proofs. It also explains the notions of sets and functions and dissects several proofs with a view to exposing some of the underlying features common to most mathematical proofs. The remainder of the book delves further into different types of proof, including direct proof, proof using contrapositive, proof by contradiction, and mathematical induction. The authors also discuss existence and uniqueness proofs and the role of counter examples. (shrink)

Penrose proved that a computational or formalizable theory of the brainís cognitive functioning is impossible, but suggested that a physical non-computational and non-formalizable one may be viable. Arguments as to why Penroseís program is unrealizable are presented. The main argument is that a non-formalizable theory should be verbal. However, verbal paradoxes based on Cantorís diagonal processes show the impossibility of a consistent verbal theory of the brain comprising its arithmetical cognition. It is suggested that comprehensive theories of the human brain (...) and of physical experience are Kantian rather than Platonic ideas. This suggestion is likewise based on arguments related to diagonal processes. (shrink)