The meaning of “information and communication technologies (ICT)”, “market of information and communication technologies” were clarified in the article. Components and priority areas for capital investment in the ICT market were determined. The relativity of relationship between the placement of supercomputers in the countries and their level of innovation was revealed. The tendencies of world ICT market development were defined. The place of Ukraine in the world ICT market was established.

It is received wisdom that the skeptic has a devastating line of argument in the following. You probably think, he says, that you know that you have hands. But if you knew that you had hands, then you would also know that you were not a brain in a vat, a brain suspended in fluid with electrodes feeding you perfectly coordinated impressions that are generated by a supercomputer, of a world that looks and moves just like this one. You (...) would know you weren’t in this state if you knew you had hands, since having hands implies you are no brain in a vat. You obviously don’t know you’re not a brain in a vat, though—you have no evidence that would distinguish that state from the normal one you think you’re in. Therefore, by modus tollens, you don’t know you have hands. At least, the skeptic has a devastating argument, it is thought, if we grant him closure of knowledge under known implication, which many of us are inclined to do: roughly, if you know p, and you know that p implies q, then you know q. (shrink)

In everyday life, we think of skepticism as the position of a stubborn person who has higher epistemic standards than others. Hence, the skeptic is someone who defends extravagant ideas. Some skeptics may deny that climate change is real, while others claim that the first moon landing did not take place. Contemporary philosophers think of skepticism in a different way. In their view, skepticism is the conclusion of a paradoxical argument about epistemic statuses like knowledge and reasons. A paradoxical argument (...) is a logically valid argument that, starting from seemingly plausible premises, reaches an absurd conclusion. We introduce two skeptical arguments. The regress argument purports to show that we lack reasons to believe any claim whatsoever because the search for those reasons inevitably leads to an infinite regress. The underdetermination argument seeks to prove that we lack reasons to believe that there are chairs, trees, other people, and so on; it supports that conclusion by citing skeptical hypotheses, including the idea that we might be dreaming (Descartes 1641) or the suggestion that we could be brains in a vat connected to a supercomputer that mimics the pattern of neural activity that would be produced if we were perceiving external objects (Putnam 1981). (shrink)

Hilary Putnam has famously argued that “we are brains in a vat” is necessarily false. The argument assumes content externalism (also known as semantic externalism and anti-individualism), that is, the view that the individuation conditions of mental content depend, in part, on external or relational properties of the subject’s environment. Recently content externalism has given rise to the hypothesis of the extended mind, whereby mental states are not only externally individuated but also externally located states. This chapter argues that when (...) content externalism is combined with the extended mind hypothesis it is robbed of its anti-skeptical power. Given the extended mind hypothesis, the supercomputer and the envatted brain can be regarded as aspects of the extended mind of the evil scientist. On this view, the thought contents of the coupled brain–computer–scientist system do not differ from those of a normal human. But without a difference in thought contents Putnam’s anti-skeptical argument crumbles. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...) on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

The “Human Brain Project” (HBP) is a large-scale European neuroscience and information communication technology (ICT) project that has been a matter of heated controversy since its inception. With its aim to simulate the entire human brain with the help of supercomputing technologies, the HBP plans to fundamentally change neuroscientific research practice, medical diagnosis, and eventually the use of computers itself. Its controversial nature and its potential impacts render the HBP a subject of crucial importance for critical studies of science and (...) society. In this paper, we provide a critical exploratory analysis of the potential mid- to long-term impacts the HBP and its ICT infrastructure could be expected to have, provided its agenda will indeed be implemented and executed to a substantive degree. We analyse how the HBP aspires to change current neuroscientific practice, what impact its novel infrastructures could have on research culture, medical practice and the use of ICT, and how, given a certain degree of successful execution of the project’s aims, potential clinical and methodological applications could even transform society beyond scientific practice. Furthermore, we sketch the possibility that research such as that projected by the HBP may eventually transform our everyday world, even beyond the scope of the HBP’s explicit agenda, and beyond the isolated ‘application’ of some novel technological device. Finally, we point towards trajectories for further philosophical, historical and sociological research on the HBP that our exploratory analysis might help to inspire. Our analysis will yield important insights regardless of the actual success of the HBP. What we drive at, for the most part, is the broader dynamics of scientific and technological development of which the HBP agenda is merely one particularly striking exemplification. (shrink)

Sprachliche Ausdrücke, mit deren Hilfe wir Spiele beschreiben und vorantreiben, sind in ihrer Verwendungsweise so vielfältig wie kaum irgendwelche anderen Ausdrücke. Und sie haben eine Eigenschaft, die man mit dem Thema Spiel eher nicht in Verbindung bringen würde: Sie eignen sich dazu, auf substantive Weise Metaphysik zu treiben oder wieder ingangzubringen. Diese Art der Starthilfe hat die jahrtausendealte Metaphysik (metaphysica specialis) neuerdings nötig. Seit knapp hundert Jahren steht sie im Verdacht, auf nichts besseres hinauszulaufen als leeres, unverständliches Wortgeklingel. Wer diesen (...) sprachphilosophischen Verdacht auszuräumen wünscht, tut gut daran, unverdächtige Redebereiche zu bemühen. In der Tat, mithilfe unserer höchst robusten, völlig alltäglichen Rede vom Spielen und beim Spielen können wir tiefe metaphysische Möglichkeiten verständlich machen, etwa die Möglichkeit einer Wirklichkeit jenseits oder oberhalb des Bereichs derjenigen Wirklichkeit, die wir Natur oder physisches Universum nennen. Dazu betrachte ich ein philosophisches Gedankenspiel (das den Matrix-Filmen zugrundeliegt und all unsere Wissensansprüche zu unterminieren scheint): Wir sind Gehirne im Tank, d.h. wir haben keinen vollständigen menschlichen Körper, sondern nur ein Gehirn, das in einem Tank mit Nährflüssigkeit schwebt; die Nerven-Enden dieser Gehirne sind mit einem Supercomputer verbunden, der uns die Illusion verschafft, dass alles in Ordnung sei. Hiergegen hat Hilary Putnam folgende sprachphilosophische Schwierigkeit aufgeworfen: Wie soll ein Gehirn im Tank seine eigene Situation treffend auf den Punkt bringen, wenn doch seine Ausdrücke "Tiger", "Gehirn", "Tank" usw. allesamt nicht mit echten Tigern, Gehirnen usw. verknüpft sind, sondern mit Nullen und Einsen im Computer? Putnam trieb diese Schwierigkeit bis an den Punkt, an dem sich zweifelsfrei beweisen lässt, dass wir keine Gehirne im Tank sein können. Und da hatte er meiner Ansicht nach recht. Wie ich meine, sollten wir uns nicht darüber den Kopf zerbrechen, ob wir ein Gehirn im Tank sind, sondern darüber, ob wir in einer analogen Situation stecken, um eine Ebene nach oben verschoben. Um die Metaphern dieser Formulierung des Problems auszupacken, setze ich Spielvokabeln ein. Wegen ihrer atemberaubenden Flexibilität brauchen sie (im Unterschied zur naturwissenschaftlichen Sprache) bei Übersetzung aus der Tanksprache in unsere Sprache nicht verändert zu werden; solche Ausdrücke heißen semantisch stabil. Mit ihrer Hilfe können wir gravierende metaphysische Möglichkeiten aufwerfen, z.B.: "Jemand, der nicht aus Materie besteht und nicht in meinem physischen Universum vorkommt, treibt mit mir von außerhalb seine Machtspielchen". Damit beziehen wir uns vielleicht auf die außerirdische Programmiererin der Simulation, in der wir möglicherweise doch stecken. Weniger respektlos formuliert, wäre das die Frage eines allmächtigen Schöpfergottes außerhalb unserer physikalischen Raumzeit: Metaphysik pur. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

Sber Science Award 2023 winner in the “Digital Universe” category, full member of the Russian Academy of Sciences, Doctor of Physics and Mathematics, Head of the Chair of Computational Technology and Modeling of the Department of Computational Mathematics and Cybernetics of Moscow State University, Director of the Marchuk Institute for Computational Mathematics of the Russian Academy of Sciences Evgeny Evgenyevich Tyrtyshnikov dedicated his lecture entitled “Dimension: Is it a curse or a blessing?” to methods of presentation of multi-dimensional data based (...) on the idea of separation of variables and to algorithms that even now successfully help resolve problems that are beyond the capabilities of supercomputers. -/- The lecture was followed by a panel discussion attended by: Evgeny Evgenyevich Tyrtyshnikov, full member of the Russian Academy of Sciences, Doctor of Physics and Mathematics, Director of the Institute for Computational Mathematics of the Russian Academy of Sciences; Alexander Vladimirovich Gasnikov, Doctor of Physics and Mathematics, President of Innopolis University; Gleb Gennadyevich Gusev, PhD of Physics and Mathematics, Head of Sberbank’s Artificial Intelligence Laboratory. The discussion was moderated by Albert Ruvimovich Efimov, PhD of Philosophy, Vice President, Director of the Research and Innovation Division of Sberbank. (shrink)

Freedom is an impossibility; the dream of having the ability to choose anything one wants is hampered by reality. However, what aspect of reality ultimately hampers the birth of true freedom? What I propose is that reality itself makes freedom impossible. Furthermore, I also make the logical assumption, from the evidence I have found, that the only entity that can have freedom is a being that is formless, timeless, featureless, and is an infinite environment of nothing. While my studies today (...) haven’t been focused on that topic, it is a noteworthy observation. I also prove Determinism, and show why the definitions of free will given by Libertarians, Compatibilists, and Incompatibilists each, without any argument I could see, fall. I also provide some insight into the reactive basis of human psychology, further proving Determinism. I also propose that an object akin to the characteristics of Laplace's Demon, in my paper a supercomputer which can process all data of everything at a single instant in time has the ability to both flawlessly predict the future and calculate the past. (shrink)

The Koch snowflake is one of the first fractals that were mathematically described. It is interesting because it has an infinite perimeter in the limit but its limit area is finite. In this paper, a recently proposed computational methodology allowing one to execute numerical computations with infinities and infinitesimals is applied to study the Koch snowflake at infinity. Numerical computations with actual infinite and infinitesimal numbers can be executed on the Infinity Computer being a new supercomputer patented in USA (...) and EU. It is revealed in the paper that at infinity the snowflake is not unique, i.e., different snowflakes can be distinguished for different infinite numbers of steps executed during the process of their generation. It is then shown that for any given infinite number n of steps it becomes possible to calculate the exact infinite number, Nn, of sides of the snowflake, the exact infinitesimal length, Ln, of each side and the exact infinite perimeter, Pn, of the Koch snowflake as the result of multiplication of the infinite Nn by the infinitesimal Ln. It is established that for different infinite n and k the infinite perimeters Pn and Pk are also different and the difference can be infinite. It is shown that the finite areas An and Ak of the snowflakes can be also calculated exactly (up to infinitesimals) for different infinite n and k and the difference An − Ak results to be infinitesimal. Finally, snowflakes constructed starting from different initial conditions are also studied and their quantitative characteristics at infinity are computed. (shrink)

New algorithms for the numerical solution of Ordinary Differential Equations (ODEs) with initial condition are proposed. They are designed for work on a new kind of a supercomputer – the Infinity Computer, – that is able to deal numerically with finite, infinite and infinitesimal numbers. Due to this fact, the Infinity Computer allows one to calculate the exact derivatives of functions using infinitesimal values of the stepsize. As a consequence, the new methods described in this paper are able to (...) work with the exact values of the derivatives, instead of their approximations. (shrink)

The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...) used for this observation; interrelations holding between the object and the tool used for the observation; the accuracy of the observation determined by the tool. Results of the observation executed by the traditional and new languages are compared and discussed. (shrink)