Art, Poetry & Philosophy

1.1 Limits in Principle and Resource Limits

Computability theory introduces a decisive distinction: there are problems that are computable in principle, though we may not be able to solve them in practice, and there are problems that are non-computable in principle, where no Turing machine could give a correct answer for all cases in a finite number of steps. Turing's halting problem is paradigmatic: there is no general algorithm that determines, for any program and any input, whether that program will halt or continue executing indefinitely.

Gödel's contribution is analogous but in the realm of formal systems: in any sufficiently expressive system (such as arithmetic), there will be true statements that are unprovable within the system. Even in the supposedly "pure" domain of mathematics, not everything that is true is provable, nor does every well-formulated problem admit a decisive algorithm.

At another scale, limits of another type appear: problems that are computable but whose calculation time or energy makes them practically unreachable. Computation is not only a logical process; it is also a physical process. Each irreversible logical operation dissipates energy, as Landauer showed. The limit of the computable is not only logical or only practical: it is also physical.

1.2 Is the Universe a Turing Machine?

The strong hypothesis would be: if the universe is essentially a computable system, then its states and evolutions would be subject to limits similar to those of mathematical computability. There are proposals in that direction, from cellular automaton models to approaches that identify physical evolution with distributed computation. However, the step is not trivial. It is not proven that the universe is completely computable. Continuity, general relativity, and certain aspects of quantum mechanics leave open the possibility of phenomena not reducible to a standard discrete computation model.

Authors like Roger Penrose have argued precisely the opposite: the existence of mathematical truths not algorithmically capturable would suggest that the human mind and certain aspects of reality are not merely computational. His thesis is disputed, but it makes the point well: identifying "reality" with "algorithm" without nuance is an extrapolation that requires much more justification.

1.3 Chaos, Climate, and Types of Uncertainty

Beyond computability, there are limits linked to available information and the type of system. In chaotic systems, such as climate, small variations in initial conditions are exponentially amplified. The equations may be deterministic, but any error in initial measurement translates into practical unpredictability in the medium term.

Two types of uncertainty should be distinguished. Aleatory uncertainty is due to lack of data or imprecise measurements and could in principle be reduced. Chaotic uncertainty is structural: even with very precise data, the structure of the system makes small imprecisions amplify until they become determinant. Adding more data does not eliminate this uncertainty; it can only delay its impact on the prediction horizon.

1.4 Complexity: The Computable but Physically Unexecutable

Some problems are decidable, but calculation time grows so fast that no possible physical system could complete them before time and energy are exhausted. Certain instances of NP-complete problems, exact simulations of many-body quantum systems, and exhaustive searches in astronomical combinatorial spaces all illustrate this. A procedure that would require more years than the age of the universe is equivalent, for practical purposes, to being unrealizable.

1.5 Mathematics: Between the Formal and the Practice

Mathematics occupies a peculiar place in the discussion of limits. On one hand, it seems to be the realm of the completely formalizable; on the other, actual mathematical practice reveals irreducible tensions. Mathematicians do not operate like formal machines. They use intuition, numerical experimentation, visualization, trial and error. What counts as "proof" is not completely fixed by syntactic rules; there is a component of community judgment, tradition, and changing standards.

The limit here is not only between the provable and the unprovable, but between what can be captured in a formal system and what sustains mathematical practice as a human activity: understanding, insight, and the sense of progress. Just as natural language is not reduced to formal syntax, living mathematics is not reduced to its formalizations.

2.1 Critical Realism: Ontological Monism, Epistemic Pluralism

This essay adopts a position of critical realism. There exists a world independent of our minds and theories. It is not a mere product of our languages; it resists us, surprises us, corrects us. We access that world always through representational frameworks: natural languages, mathematics, physical models, artistic metaphors, social practices. There is no single privileged framework that exhausts the real. There is a plurality of partial descriptions that overlap, correct, and enrich each other.

In schematic terms: ontological monism (one real world, though inexhaustible) and epistemic pluralism (multiple legitimate ways of approaching it).

2.2 Robust Local Truths

To say that there is no accessible Theory of Everything does not amount to denying solid truths. There exist locally valid and robust descriptions, justified by their explanatory and predictive power. Thermodynamics describes with great precision the macroscopic behavior of physical systems without resorting to an ultimate theory. Natural selection explains the diversity of species without needing to reduce all phenomena to molecular interactions. Propositional logic is complete and decidable in its domain without needing to "wait" for a more powerful logic.

Truth can be stratified: each level has its own laws and concepts, functional at its scale. The robustness of these truths is justified by predictive success, coherence with other fields, capacity to generate effective technology, and resistance to refutation under reasonable criticism.

2.3 Alternative Logics: Pragmatic Choice, Not Absolute Meta-Logic

Beyond classical logic, there exists a range of logical systems: intuitionistic, paraconsistent, fuzzy, and modal. The key question is not "Which is the true logic?" but which logic best articulates some practice or domain? There is no neutral "meta-logic" from which to choose once and for all. The choice is justified pragmatically: by the internal coherence of the system, by its capacity to couple to specific scientific or argumentative practices, by its success in avoiding undesired paradoxes.

2.4 Epistemic Pluralism Without Relativism

Disagreement between theories and perspectives is provisional (it can be reduced through research and dialogue), but also, to some degree, constitutive: a complex universe will probably never let itself be squeezed into a single total narrative. It does not follow that all positions are worth the same. A framework is reasonable if it recognizes robust empirical evidence, is internally coherent, is willing to revise in the face of new evidence, and does not appeal to infallible authorities immune to refutation.

3.1 Language and Representational Limits

Language is the privileged medium of conceptual thought, but it is also the place where certain limits become most visible. Wittgenstein, in the Tractatus, recognized that there are things that show themselves without being able to be completely said: the logical structure of language, the ethical or aesthetic value of something, the relationship between language and world. In his late work, Philosophical Investigations, he showed that meaning is not fixed by abstract logical structures but by uses in concrete forms of life. There is no "perfect language" that captures all relevant distinctions.

3.2 Indeterminacy of Translation: Quine

Quine argued that even with all possible behavioral evidence, there is no single correct translation from one language to another. Different translation schemes can be empirically equivalent but conceptually incompatible. There is no "neutral tribunal" from which to decide what the correct conceptual structure of the world is. Different languages "carve" reality in different ways, and none can claim to be the only "natural" one. The choice between conceptual schemes must be justified by pragmatic criteria: simplicity, explanatory power, coherence with scientific practices, communicative utility.

3.3 Davidson and the Limits of Conceptual Scheme

Davidson criticized the idea of "incommensurable conceptual schemes." For two schemes to be truly incommensurable, we would have to be able to identify them as different schemes, which already presupposes a common basis of comparison. His position suggests a moderate pluralism: different languages and theories organize experience in different ways, but always on a shared background of minimal rationality.

3.4 Language and the Ineffable: Poetry, Metaphor, Ambiguity

Metaphor is not a rhetorical ornament but a mode of understanding that operates by semantic displacement, not by definition. Ambiguity is not always a defect. In poetry, in sacred texts, in certain political or affective uses of language, ambiguity is functional: it allows multiple meanings to coexist without collapsing into one. Ricœur and Gadamer pointed out that understanding a text, a culture, or an epoch is not translating them into our language without loss, but letting oneself be transformed by the encounter with the strange.

3.5 Language and Temporality: What Is Lost in Fixation

Language fixes. It converts the flow of experience into categories, names, stable propositions. But that fixation has a cost. Bergson argued that lived time (duration) is qualitative, continuous, heterogeneous. Language tends to spatialize time: it divides it into discrete units, measures it, quantifies it. Something is lost in that operation: the texture of temporal experience itself. These aspects are not ineffable in the sense that we can say nothing about them, but in the sense that every formulation leaves a remainder.

4.1 Epistemic Humility Without Paralysis

Accepting that there will be no complete accessible theory and our models are partial and revisable poses two temptations: dogmatism (freezing a framework as definitive) and nihilism (concluding that without absolute certainty, all views are equivalent). The alternative is an active epistemic humility: recognize limits but continue deciding; design procedures that incorporate correction and revision; evaluate actions by their coherence with the best available information, their reversibility, and their effects on the most vulnerable.

4.2 Technology and AI: The Mirage of Totalization

AI systems and massive prediction models can generate the illusion that everything relevant is quantifiable and computable. A credit risk algorithm classifies individuals according to historical variables but can ignore crucial dimensions: processes of personal resilience, recent context changes, structural discrimination, support networks. The tool produces "rational" decisions within its framework, but blinds components of reality that do not enter its variables. No model exhausts the person to whom it applies its predictions. Automating a judgment implies presupposing that the relevant part of reality fits entirely in the model, and that presupposition is rarely innocent.

4.3 The Ecological Case and the Precautionary Principle

Economies, ecosystems, and societies show non-linear behaviors, feedback loops, and emergent phenomena. An intervention that seems optimal in a local model can trigger unforeseen cascades. We cannot wait to have an exact theory of the entire Earth system to act. Structural uncertainty is not an excuse for inaction; it is an argument in favor of policies that minimize irreversible risks. The recognition of the limit of the real invites us to design polycentric institutions, incorporate diversity of perspectives in democratic deliberation, and apply prudence proportional to the magnitude of possible damage.

4.4 Ethics of Disagreement

In a universe without final theory, disagreement is normal. The ethical task is not to suppress it but to manage it: distinguish between disagreements between reasonable frameworks and positions that deny well-established facts; establish common rules of the game based on shared data, internal coherence, willingness to revise, and rejection of violence as a substitute for argument.

5.1 Cognitive Limits: Biases, Memory, and Processing

Cognitive psychology has shown that our mental apparatus operates with shortcuts: confirmation biases, availability heuristics, overconfidence. These traits are not accidents; they are adaptations of a system designed to survive under pressure, not to grasp all the truth of the cosmos. Part of the "limit of the real," as we experience it, is actually a limit of what a human mind can process without saturating or fragmenting.

5.2 Anxiety, Dogma, and Cynicism

Assuming that we will never have a complete picture of the world can produce existential anxiety, flight toward closed narratives (fanaticisms, conspiracies, totalizing ideologies), or cynicism. This tension requires coping tools: secular mindfulness practices that train attention to tolerate uncertain mental states; guided narrative revision through therapy; communities of practice where uncertainty is sustained collectively and the search for meaning becomes a common task.

5.3 Personal Narrative: Revision Within Margins

Each person constructs a narrative about their life, selecting events, giving them order and logic. That narrative functions as a partial theory of the world. Personal narrative is not infinitely plastic. There are factual constraints and coherence constraints. Narrative revision is possible within margins: neither total self-deception that completely denies what occurred, nor arbitrary reinvention that breaks all sense of identity. The limit of the real, on this plane, takes the form of a delicate balance between fidelity to facts and the need for a structure of meaning.

5.4 Embodied Cognition

Perspectives like Varela's emphasize that we are not passive receivers of a given world but co-constructors of a significant environment. Perception and action are intertwined: the organism does not "receive" the world but makes it emerge through its sensorimotor coupling. This does not deny the existence of an independent world, but it does imply that what each being can consider "world" is filtered by their body, their history, and their culture. The world-in-itself never fully coincides with the world-for-us.

6.1 Art as Mode of Knowledge

Art is not a late luxury or simple ornament. It can be understood as a mode of knowledge that operates without reducing experience to propositions. While science seeks generalizable statements, art works with singular situations, explores affective, temporal, and spatial nuances that resist precise translation into concepts, and generates understanding through recognition, resonance, and transformation rather than demonstration. It is not irrational; it is another form of rationality, embodied and situated.

6.2 Music: Bach, Algorithms, and Lived Time

Music is a privileged laboratory for the limit between the formalizable and the lived. Certain works, like a Bach fugue, can be analyzed mathematically, even transcribed algorithmically. However, the listener's temporal experience (the tension between expectation and surprise, the recognition of thematic return, the affective charge of certain modulations) is not reduced to the algorithm that generated the piece. Not because it is "mystical," but because it involves lived temporality, affective and cultural memory, and bodily resonance. The limit is not situated between reason and irrationality, but between complete formalization and concrete lived experience.

6.3 Visual Arts: Guernica and Non-Propositional Truth

Picasso's Guernica condenses horror, mourning, political denunciation, and fragility of bodies. It can be analyzed formally: fragmented composition, use of black and white, expressive distortion. However thorough that analysis may be, there is something that the painting does to the spectator that is not exhausted in the description. The type of truth it carries is performative, not propositional. It does not consist in stating a fact but in making one feel, in a concentrated way, a certain experience. It is not about a hidden "secret message," but about a form of truth that operates through impact, resonance, displacement.

6.4 Art as Training for Uncertainty

Art fulfills a central function: it trains us to coexist with the ambiguous without demanding immediate resolution. It allows us to experience tensions, dissonances, and ambivalences in a relatively safe space. It confronts the irreducible complexity of the emotional, social, and political world in a way that does not cancel but sustains the question.

7.1 Scientistic Objection

"Limits are provisional." It is true that many historical "mysteries" have been clarified. But here we speak of limits of another type: Gödel's incompleteness and Turing's non-computability are theorems, not temporal voids. Sensitivity to chaos and computational complexity restrictions do not disappear with more computing power. The thesis is not "it's no longer worth investigating," but: we investigate knowing that we will never convert the universe into a completely transparent and calculable object.

7.2 Logical Positivist Objection

"Much of this is pseudoproblem." Logical positivism helped purge certain metaphysical excesses but is too restrictive. Much of contemporary science works with entities not directly verifiable that nevertheless have explanatory and predictive power. Many crucial domains (aesthetic experience, therapeutic processes, political conflicts) do not allow themselves to be encapsulated in simple empirically verifiable propositions, and yet are scenarios where very real issues are at stake.

7.3 Mystical Objection

"If reason has limits, there are irrational truths." Accepting that rationality has limits does not oblige us to legitimize any claim that presents itself as "beyond reason." That science does not explain everything does not automatically make true what opposes it. Rationality, broadly understood, does not exhaust human life, but it remains our best common framework for contrasting claims about reality. Beyond it there may be valuable experiences that enrich life, but those experiences do not constitute an alternative epistemic tribunal from which to dictate truths about the shared world.

7.4 Radical Pragmatist Objection

"Only what works matters." Pragmatism is right to emphasize that ultimate validation passes through practice. However, the notion of "limit" has clear practical consequences: design of revisable institutions, humility before AI, ecological prudence, openness to conceptual change. If we only spoke of "what works," we would risk naturalizing current frameworks. The idea of a limit that resists our models keeps alive the suspicion that they could work better in ways not yet conceived. Science has progressed not only by refining techniques, but by recognizing that certain phenomena forced rethinking foundational concepts.

From physics and mathematics, limits of computability, accessible information, and complexity appear that no increase in hardware annuls. From philosophy, critical realism maintains that there is an independent reality, but only accessible through multiple frameworks, none definitive. From language, all conceptual articulation leaves a remainder. From ethics and politics, the limit justifies revisable institutions and caution against all pretensions of totalization. From psychology, the limit is confused with the capacities and fragilities of our minds. From aesthetics, the limit becomes a playing field: art explores what cannot be fully formalized.

It is not about choosing between totalizing reason or irrationalism, but about learning to think at the edge: there where models touch what does not fit in them, where ethics faces what cannot be reduced to calculation, where art reveals what the proposition does not reach.

This essay does not seek to "resolve" the question of the limit of the real. It aspires to map some of its contours to make more precise the work that remains to be done. In quantum physics, in neuroscience of consciousness, in complex systems theory, in philosophy of mathematics, in ethics of artificial intelligence: each of these fields faces, in its own way, the tension between formalization and excess.

The intellectual task of the 21st century does not consist in completing the map of the world once and for all or burning it as useless, but in inhabiting that limit with lucidity, without arrogance or resignation. Accepting that continuing to think is worthwhile precisely because something always escapes.