Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Contextural Programming Paradigm (5)
- Interactivity (4)
- Mathematics (4)
- Memristics, Memristors, Computation (4)
- Morphogrammatics (4)
-
- Philosophy of mathematics (4)
- Polycontexturality - Second-Order Cybernetics (4)
- Formal Systems in Polycontextural Constellations (3)
- Frege (3)
- Logic (3)
- Memristics (3)
- Philosophy (3)
- Platonism (3)
- Polycontexturality (3)
- Proof (3)
- Axiomatics (2)
- Book review (2)
- Cardinal Number (2)
- Category theory (2)
- Chiasm (2)
- Complementarity (2)
- Diamond (2)
- Diamond Strategies (2)
- Diamond Theory (2)
- Empirism (2)
- Epistemic Access (2)
- Euclid (2)
- Interaktivität (2)
- Math (2)
- Mathematical Object (2)
- Publication Year
- Publication
-
- Rudolf Kaehr (31)
- MPP Published Research (30)
- Humanistic Mathematics Network Journal (9)
- Bernd Buldt (1)
- Branch Mathematics and Statistics Faculty and Staff Publications (1)
-
- Dissertations, Theses, and Capstone Projects (1)
- HON499 projects (1)
- Honors Scholars Collaborative Projects (1)
- Journal of Humanistic Mathematics (1)
- MPP Research Seminar (1)
- Mostafa Mirabi (1)
- Research Resources (1)
- Summer Research (1)
- Undergraduate Review (1)
- Williams Honors College, Honors Research Projects (1)
- Publication Type
Articles 31 - 60 of 82
Full-Text Articles in Logic and Foundations
Breathing Fresh Air Into The Philosophy Of Mathematics, Marco Panza
Breathing Fresh Air Into The Philosophy Of Mathematics, Marco Panza
MPP Published Research
A review of Paolo Mancosu (ed.): The Philosophy of Mathematical Practice.
Morphogrammatics Of Reflection, Rudolf Kaehr
Morphogrammatics Of Reflection, Rudolf Kaehr
Rudolf Kaehr
Turning back from the studies of morphogrammatics to some open questions of reflectional programming, the recountered problematics might be put into a different light and new methods of handling formal aspects of reflection and reflectionality shall be introduced. Albeit the use of light-metaphors, morphogrammatic reflection is not sketched along the paradigm of optical metaphors. Morphograms are presenting neither propositions nor perceptions able for mirroring (representation). Exercises in defining morphogrammatic retro-grade recursion and reflection schemata are continued from the paper “Sketches to Morphogrammatic Programming”.
Agnostic Science. Towards A Philosophy Of Data Analysis, Domenico Napoletani, Marco Panza, Daniele C. Struppa
Agnostic Science. Towards A Philosophy Of Data Analysis, Domenico Napoletani, Marco Panza, Daniele C. Struppa
MPP Published Research
In this paper we will offer a few examples to illustrate the orientation of contemporary research in data analysis and we will investigate the corresponding role of mathematics. We argue that the modus operandi of data analysis is implicitly based on the belief that if we have collected enough and sufficiently diverse data, we will be able to answer most relevant questions concerning the phenomenon itself. This is a methodological paradigm strongly related, but not limited to, biology, and we label it the microarray paradigm. In this new framework, mathematics provides powerful techniques and general ideas which generate new …
Memristics: Memristors, Again? – Part Ii, How To Transform Wired ‘Translations’ Between Crossbars Into Interactions?, Rudolf Kaehr
Memristics: Memristors, Again? – Part Ii, How To Transform Wired ‘Translations’ Between Crossbars Into Interactions?, Rudolf Kaehr
Rudolf Kaehr
The idea behind this patchwork of conceptual interventions is to show the possibility of a “buffer-free” modeling of the crossbar architecture for memristive systems on the base of a purely difference-theoretical approach. It is considered that on a nano-electronic level principles of interpretation appears as mechanisms of complementarity. The most basic conceptual approach to such a complementarity is introduced as an interchangeability of operators and operands of an operation. Therefore, the architecture of crossbars gets an interpretation as complementarity between crossbar functionality and “buffering” translation functionality. That is, the same matter functions as operator and at once, as operand – …
Memristics: Memristors, Again?, Rudolf Kaehr
Memristics: Memristors, Again?, Rudolf Kaehr
Rudolf Kaehr
This collection gives first and short critical reflections on the concepts of memristics, memristors and memristive systems and the history of similar movements with an own focus on a possible interplay between memory and computing functions, at once, at the same place and time, to achieve a new kind of complementarity between computation and memory on a single chip without retarding buffering conditions.
Sketch Of A Typology Of Abstract Memristic Machines, Rudolf Kaehr
Sketch Of A Typology Of Abstract Memristic Machines, Rudolf Kaehr
Rudolf Kaehr
A typology of memristic machines is sketched. This sketch gives an overview and orientation to the paper “Towards Abstract Memristic Machines”. It also intents to propose a concise systematization of the newly introduced terms and strategies to memristics and morphogrammatics. This sketch is introducing four types of sign-use for four types of machines of fundamentally different paradigms: 1. semiotic, 2. monomorphic, 3. polymorphic and 4. bisimilar abstract machines. Further definitions of abstract machines have to be based on those graphematic notational systems. A realization of such constructions of abstract machines, in contrast to existing abstract machines of the theory of …
Towards Abstract Memristic Machines, Rudolf Kaehr
From Universe To Polyverses, Rudolf Kaehr
From Universe To Polyverses, Rudolf Kaehr
Rudolf Kaehr
Some thoughts about the power of speculation behind important discoveries in mathematics, physics and computer science. The exercise shows that there is no need for a compulsory ultimate unifying universe. It is speculated that just this paradigm of a single ultimate universe is unmasking itself today as the main obstacle for further development in Western science and technology.
Morphogrammatics For Dummies: The Domino Approach, Rudolf Kaehr
Morphogrammatics For Dummies: The Domino Approach, Rudolf Kaehr
Rudolf Kaehr
Dominoes, morphograms, cellular automata, memristics. Topics: possible continuation, coalitions, cooperations, substitution, morphic bisimilarity.
Is The Notion Of Mathematical Object An Historical Notion?, Marco Panza
Is The Notion Of Mathematical Object An Historical Notion?, Marco Panza
MPP Published Research
"Both historians and philosophers of mathematics frequently speak of mathematical objects. Are they speaking of the same or of similar things? Better: are they appealing to the same notion or to similar notions?"
The Logic Of Bailout Strategies, Rudolf Kaehr
The Logic Of Bailout Strategies, Rudolf Kaehr
Rudolf Kaehr
Some thoughts about/of the logic, blend, chiasm and diamond of bailout strategies. Eliciting aspects of the maxim: “Without insurrection, no resurrection".
Diamond Semiotic Short Studies, Rudolf Kaehr
Diamond Semiotic Short Studies, Rudolf Kaehr
Rudolf Kaehr
A collection of papers on semiotics, polycontexturality and diamond theory
Diamond Theory Collections. A Collection Of Papers And Fragments Towards Diamond Theory 2007-2009, Rudolf Kaehr
Diamond Theory Collections. A Collection Of Papers And Fragments Towards Diamond Theory 2007-2009, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Double Cross Playing Diamonds, Rudolf Kaehr
Double Cross Playing Diamonds, Rudolf Kaehr
Rudolf Kaehr
Understanding interactivity in/between bigraphs and diamonds Grammatologically, the Western notational system is not offering space in itself to place sameness and otherness necessary to realize interaction/ality. Alphabetism is not prepared to challenge the dynamics of interaction directly. The Chinese writing system in its scriptural structuration, is able to place complex differences into itself, necessary for the development and design of formal systems and programming languages of interaction. The challenge of interactionality to Western thinking, modeling and design interactivity has to be confronted with the decline of the scientific power of alpha-numeric notational systems as media of living in a complex …
Short Studies 2008. Adventures In Diamond Strategies Of Change(S), Rudolf Kaehr
Short Studies 2008. Adventures In Diamond Strategies Of Change(S), Rudolf Kaehr
Rudolf Kaehr
Modular Bolognese Paradoxes of postmodern education. A Tale of Fishes, Birds and Diamonds in Second-Order Epistemology Why it is useless to write about the mono-contexturality of alphabetism and digitalism Chez Maxime's Human rights in a polycontextural world Primary Thoughts to a Manifesto for Awareness Fashion Marketing Which Equality? How equal are equal human beings? Generalized Diamonds From monosemic to tectonic complementarity Diamond Disremption Diamond interpretation of the kenomic succession operation Diamond Web2.0? How social is social networking? Web Mobility Web computing between semiotic and kenomic spaces Double Cross Playing Diamonds Understanding interactivity in/between bigraphs and diamonds Morphogrammatics of Change A …
The Role Of Algebraic Inferences In Naîm Ibn Mûsa’S Collection Of Geometrical Propositions, Marco Panza
The Role Of Algebraic Inferences In Naîm Ibn Mûsa’S Collection Of Geometrical Propositions, Marco Panza
MPP Published Research
Na‘im ibn Musa's lived in Baghdad in the second half of the 9th century. He was probably not a major mathematician. Still his Collection of geometrical propositions---recently edited and translated in French by Roshdi Rashed and Christian Houzel---reflects quite well the mathematical practice that was common in Thabit ibn Qurra's school. A relevant characteristic of Na‘im's treatise is its large use of a form of inferences that can be said ‘algebric' in a sense that will be explained. They occur both in proofs of theorems and in solutions of problems. In the latter case, they enter different sorts of problematic …
Actors, Objects, Contextures, Morphograms, Rudolf Kaehr
Actors, Objects, Contextures, Morphograms, Rudolf Kaehr
Rudolf Kaehr
Systematic and historic overview and critics of actor and object oriented programming.
From Dialogues To Polylogues, Rudolf Kaehr
A Philosophical Examination Of Proofs In Mathematics, Eric Almeida
A Philosophical Examination Of Proofs In Mathematics, Eric Almeida
Undergraduate Review
No abstract provided.
The Abacus Of Universal Logics, Rudolf Kaehr
François Viète, Between Analysis And Cryptanalysis, Marco Panza
François Viète, Between Analysis And Cryptanalysis, Marco Panza
MPP Published Research
François Viète is considered the father both of modern algebra and of modern cryptanalysis. The paper outlines Viète's major contributions in these two mathematical fields and argues that, despite an obvious parallel between them, there is an essential difference. Viète's 'new algebra' relies on his reform of the classical method of analysis and synthesis, in particular on a new conception of analysis and the introduction of a new formalism. The procedures he suggests to decrypt coded messages are particular forms of analysis based on the use of formal methods. However, Viète's algebraic analysis is not an analysis in the same …
Place-Valued Logics Around Cybernetic Ontology, The Bcl And Afosr, Rudolf Kaehr
Place-Valued Logics Around Cybernetic Ontology, The Bcl And Afosr, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
From Ruby To Rudy, Rudolf Kaehr
The Chinese Challenge. Hallucinations For Other Futures, Rudolf Kaehr
The Chinese Challenge. Hallucinations For Other Futures, Rudolf Kaehr
Rudolf Kaehr
The main question is: What can we learn from China that China is not teaching us? It is proposed that a study of polycontextural logic and morphogrammatics could be helpful to discover this new kind of rationality.
Some Sober Conceptions Of Mathematical Truth, Marco Panza
Some Sober Conceptions Of Mathematical Truth, Marco Panza
MPP Published Research
It is not sufficient to supply an instance of Tarski’s schema, ⌈“p” is true if and only if p⌉ for a certain statement in order to get a definition of truth for this statement and thus fix a truth-condition for it. A definition of the truth of a statement x of a language L is a bi-conditional whose two members are two statements of a meta-language L’. Tarski’s schema simply suggests that a definition of truth for a certain segment x of a language L consists in a statement of the form: ⌈v(x) is true if and only if τ(x)⌉, …
Fibonacci In Contextures, An Application, Rudolf Kaehr
Fibonacci In Contextures, An Application, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Contextures. Programming Dynamic Complexity, Rudolf Kaehr
Contextures. Programming Dynamic Complexity, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Rudolf Kaehr
Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.