The ability of very wealthy individuals (or, as I will call them, the ‘super-rich’) to turn their economic power into political power has been—and remains—an important cause of political inequality. In response, this paper advocates an original solution. Rather than solving the problem through implementing a comprehensive conception of political equality, or through enforcing complex rules about financial disclosure etc., I argue that we should impose a choice on the super-rich. The super-rich must choose between (i) forfeiting the things that (...) make them super-rich, i.e., pay a 100 % tax on their wealth above a certain level, or, (ii) they must forfeit some of their political rights. These rights include entitlements to fund political parties; to stand for office; and to work or volunteer for political parties. The right to vote, though, is not limited. I defend my proposal against non-consequentialist and consequentialist objections. I also argue that it avoids two problems that many attempts to reduce political inequality face; these are the political egalitarian’s dilemma and the problem of political equality’s relative moral importance. (shrink)

The United Nations ‘Transforming our world: the 2030 Agenda for Sustainable Development’ lays out 17 Sustainable Development Goals to address a range of global issues related to the future of the planet and human well-being. Critics, however, argue that the Agenda, a complex product of multi-stakeholder governance, in its drive to accommodate many competing voices, is overloaded with weakly defined, overlapping and contradictory issues, concepts and buzzwords. These serve to gloss over actual concrete global problems and forces, concealing an underlying (...) free-trade ideology. In this paper, using Multimodal Critical Discourse Analysis, we draw attention to the nature of the documents used to communicate the Agenda. These documents comprise an edifice of self-referential texts that rely heavily on infographics, bullet points, charts and tables. Such formats appear to helpfully simplify, distil information and break things down into workable components. But, we show, through the affordances of these formats, the the vagueness of buzzwords, contradictions and lack of clear causalities can be glossed over, presenting the Agenda as a highly technical, engaging, and above all moral process. These formats are important, therefore, for the legitimization and rhetorical power of the Agenda, necessary for its take-up by governments and organizations around the world. (shrink)

This paper investigates the medical law and ethics learning needs of Foundation doctors by means of a national survey developed in association with key stakeholders including the General Medical Council and Health Education England. Four hundred sevnty-nine doctors completed the survey. The average self-reported level of preparation in MEL was 63%. When asked to rate how confident they felt in approaching three cases of increasing ethical complexity, more FYs were fully confident in the more complex cases than in the (...) more standard case. There was no apparent relationship with confidence and reported teaching at medical school. The less confident doctors were no more likely to ask for further teaching on the topic than the confident doctors. This suggests that FYs can be vulnerable when facing ethical decisions by being underprepared, not recognising their lack of ability to make a reasoned decision or by being overconfident. Educators need to be aware of this and provide practical MEL training based on trainee experiences and real-world ethics and challenge learners’ views. Given the complexities of many ethical decisions, preparedness should not be seen as the ability to make a difficult decision but rather a recognition that such cases are difficult, that doubt is permissible and the solution may well be beyond the relatively inexperienced doctor. Educators and supervisors should therefore be ensuring that this is clear to their trainees. This necessitates an environment in which questions can be asked and uncertainty raised with the expectation of a supportive response. (shrink)

We introduce a notion of description for infinite sequences and their sets, and a corresponding notion of complexity. We show that for strict process machines, complexity of a sequence or of a subset of Cantor space is equal to its effective Hausdorff dimension.

This chapter draws on insights from non-equilibrium thermodynamics to demonstrate the ontological inadequacy of the machine conception of the organism. The thermodynamic character of living systems underlies the importance of metabolism and calls for the adoption of a processual view, exemplified by the Heraclitean metaphor of the stream of life. This alternative conception is explored in its various historical formulations and the extent to which it captures the nature of living systems is examined. Following this, the chapter considers the (...) metaphysical implications of reconceptualizing the organism from complex machine to flowing stream. What do we learn when we reject the mechanical and embrace the processual? Three key lessons for biological ontology are identified. The first is that activity is a necessary condition for existence. The second is that persistence is grounded in the continuous self-maintenance of form. And the third is that order does not entail design. (shrink)

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many (...) ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (shrink)

Mankind’s research on marketing has a history of hundreds of years, and it has been fruitful in continuous summary and research. Now the theory of marketing has gradually penetrated into the minds of every company and even individual. A successful marketing strategy is the inevitable result of scientific planning and effective implementation. However, the current marketing strategy has gradually failed to meet the needs of corporates. In order to find the best solution for corporate marketing strategy, we built a simulation (...) environment based on mobile computing and machine learning and compared the differences by simulating several companies of the same size in this city. The results of the study found that intelligent marketing based on machine learning is more suitable for enterprises than general marketing strategies. The efficiency of enterprises has increased by about 20%, and the income of enterprises has increased by more than 30% compared with traditional marketing strategies. This shows that the intelligent marketing strategy based on mobile computing and machine learning to build a simulated environment plays an extremely important role in the peculiarities. (shrink)

In this paper we interpret a characterization of the Gödel speed-up phenomenon as providing support for the ‘Nagel-Newman thesis’ that human theorem recognizers differ from mechanical theorem recognizers in that the former do not seem to be limited by Gödel's incompleteness theorems whereas the latter do seem to be thus limited. However, we also maintain that (currently non-existent) programs which are open systems in that they continuously interact with, and are thus inseparable from, their environment, are not covered by the (...) above (or probably any other recursion-theoretic) argument. (shrink)

In this paper we interpret a characterization of the Gödel speed-up phenomenon as providing support for the ‘Nagel-Newman thesis’ that human theorem recognizers differ from mechanical theorem recognizers in that the former do not seem to be limited by Gödel's incompleteness theorems whereas the latter do seem to be thus limited.However, we also maintain that (currently non-existent) programs which are open systems in that they continuously interact with, and are thus inseparable from, their environment, are not covered by the above (...) (or probably any other recursion-theoretic) argument. (shrink)

The composition of a timeline depends on purpose, perspective, and scale – and of the very understanding of the word, the phenomenon referred to, and whether the focus is the idea or concept, an instance of an idea or a phenomenon, a process, or an event and so forth. The main function of timelines is to provide an overview over a long history, it is a kind of a mnemotechnic device or a particular kind of Knowledge Organization System (KOS).b The (...) entries in the timeline should be brief and indisputable. Therefore, timelines often identify the first occurrences rather than the most widespread or most qualified instances leaving the fuller and more complex, and possibly disputable story out. But even first occurrences are often difficult to establish. The first occurrence is most often only the first finding of an instance. Older instances may be found and competing definitions develop either within a field or in different fields. This is further complicated since the phenomena, their names, and their meanings may change over time. Former meanings may become redundant, or they must accommodate and coexist with new meanings. The time and place of the composition of the timeline are to be considered in interpreting the things listed. The following note will discuss these issues as they occur in the development of the notions of text, e-text and hypertext, and the origin of machine translation. (shrink)

The primary transcripts, pre‐mRNAs, of almost all protein‐coding genes in higher eukaryotes contain multiple non‐coding intervening sequences, introns, which must be precisely removed to yield translatable mRNAs. The process of intron excision, splicing, takes place in a massive ribonucleoprotein complex known as the spliceosome. Extensive studies, both genetic and biochemical, in a variety of systems have revealed that essential components of the spliceosome include five small RNAs–U1, U2, U4, U5 and U6, each of which functions as a RNA, protein complex (...) called an snRNP (small nuclear ribonucleoprotein). In addition to snRNPs, splicing requires many non‐snRNP protein factors, the exact nature and number of which has been unclear. Technical advances, including new affinity purification methods and improved mass spectrometry techniques, coupled with the completion of many genome sequences, have now permitted a number of proteomic analyses of purified spliceosomes. These studies, recently reviewed by Jurica and Moore,1 reveal that the spliceosome is composed of as many as 300 distinct proteins and five RNAs, making it among the most complex macromolecular machines known. BioEssays 25:1147–1149, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

Humans and organizations have limitations of computational capacity and information management. Such constraints are synonymous with bounded rationality. Therefore, in order to extend the human and organizational boundaries to more advanced models of cognition, this research proposes concepts of cognitive machines in organizations. From a micro point of view, what makes this research distinct is that, beyond people, it includes in the list of participants of the organization the cognitive machines. From a macro point of view, this paper relies on (...) the premise that cognitive machines can improve the cognitive abilities of the organization. From such perspectives, it presents rationale and principles of a class of cognitive machines with capabilities to carry out complex cognitive tasks in organizations. It also introduces analyses of the cognitive machines in organizations through theories of bounded rationality, economic decision-making, and conflict resolution. The analyses indicate that these machines can solve or reduce intra-individual and group dysfunctional conflicts which arise from decision-making processes in the organization, and thus they can improve the degree of organizational cognition. From all these backgrounds, this research outlines implications of cognitive machines for organizations. (shrink)

The exocyst is a conserved octameric complex that physically tethers a vesicle to the plasma membrane, prior to membrane fusion. It is important not only for secretion and membrane delivery but also, in mammalian cells, for cytokinesis, ciliogenesis, autophagy, tumorigenesis, and host defense. The combination of genome editing and advanced light microscopy of exocyst subunits in living cells has recently shown the complex to be much more dynamic than previously appreciated, and exposed how little we still know about its function (...) and regulation. (shrink)

Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did Turing (...) refer to gender imitation in a test for machine intelligence? In this article, I shall address these questions by unveiling social, historical and epistemological roots of the so-called Turing test. I will draw attention to a historical fact that has been only scarcely observed in the secondary literature thus far, namely that Turing’s 1950 test emerged out of a controversy over the cognitive capabilities of digital computers, most notably out of debates with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Seen in its historical context, Turing’s 1950 paper can be understood as essentially a reply to a series of challenges posed to him by these thinkers arguing against his view that machines can think. Turing did propose gender learning and imitation as one of his various imitation tests for machine intelligence, and I argue here that this was done in response to Jefferson's suggestion that gendered behavior is causally related to the physiology of sex hormones. (shrink)

La sensation d'être soumis à une contrainte implacable peut déclencher une souffrance intense, une activité délirante, ou bien une créativité irrépressible. Elle peut prendre la forme d'une "machine" à influencer. Cette figure majeure de la maladie psychique depuis deux cents ans est le point de départ et le fil conducteur pour éclairer la structure complexe et paradoxale de la subjectivité. Loin d'être un outil technique, elle est un enjeu d'abord existentiel et esthétique. De Tausk à Szondi et Maldiney, de (...) Merleau-Ponty à Guattari et Deleuze, de Deligny à Nauman et Duchamp, de Sobchack à Epstein et Godard, et enfin, à nouveau, de Merleau-Ponty à Guattari, on voit émerger les contours d'une subjectivité en tension,toujours déjà habitée d'une altérité qui la garde en mouvement. Et l'ontologie de la chair apparaît finalement comme un champ essentiellement politique. (shrink)

Large language models (LLMs) represent the currently most relevant incarnation of artificial intelligence with respect to the future fate of democratic governance. Considering their potential, this paper seeks to answer a pressing question: Could LLMs outperform humans as expert advisors to democratic assemblies? While bearing the promise of enhanced expertise availability and accessibility, they also present challenges of hallucinations, misalignment, or value imposition. Weighing LLMs’ benefits and drawbacks compared to their human counterparts, I argue for their careful integration to augment (...) democracy’s ability to address complex policy issues. The paper posits that time-tested democratic procedures like deliberation and aggregation by voting provide safeguards effective against both human and machine advisor imperfections. Additional protective measures include custom LLM training for the advisory role, boosting representatives’ competencies in query formulation, or implementation of adversarial proceedings in which LLM advisors could debate each other and provide dissenting opinions. These could further mitigate the risks that LLMs present in advisory roles and empower human decision-makers toward increased autonomy and quality of their collective choices. My conceptual exploration offers a roadmap for the co-evolution of AI and democratic institutions, setting the stage for an empirical research agenda to finetune the implementation specifics. (shrink)

Decisions based on algorithmic, machine learning models can be unfair, reproducing biases in historical data used to train them. While computational techniques are emerging to address aspects of these concerns through communities such as discrimination-aware data mining and fairness, accountability and transparency machine learning, their practical implementation faces real-world challenges. For legal, institutional or commercial reasons, organisations might not hold the data on sensitive attributes such as gender, ethnicity, sexuality or disability needed to diagnose and mitigate emergent indirect (...) discrimination-by-proxy, such as redlining. Such organisations might also lack the knowledge and capacity to identify and manage fairness issues that are emergent properties of complex sociotechnical systems. This paper presents and discusses three potential approaches to deal with such knowledge and information deficits in the context of fairer machine learning. Trusted third parties could selectively store data necessary for performing discrimination discovery and incorporating fairness constraints into model-building in a privacy-preserving manner. Collaborative online platforms would allow diverse organisations to record, share and access contextual and experiential knowledge to promote fairness in machine learning systems. Finally, unsupervised learning and pedagogically interpretable algorithms might allow fairness hypotheses to be built for further selective testing and exploration. Real-world fairness challenges in machine learning are not abstract, constrained optimisation problems, but are institutionally and contextually grounded. Computational fairness tools are useful, but must be researched and developed in and with the messy contexts that will shape their deployment, rather than just for imagined situations. Not doing so risks real, near-term algorithmic harm. (shrink)

Genes are often described by biologists using metaphors derived from computa- tional science: they are thought of as carriers of information, as being the equivalent of ‘‘blueprints’’ for the construction of organisms. Likewise, cells are often characterized as ‘‘factories’’ and organisms themselves become analogous to machines. Accordingly, when the human genome project was initially announced, the promise was that we would soon know how a human being is made, just as we know how to make airplanes and buildings. Impor- tantly, (...) modern proponents of Intelligent Design, the latest version of creationism, have exploited biologists’ use of the language of information and blueprints to make their spurious case, based on pseudoscientific concepts such as ‘‘irreducible complexity’’ and on flawed analogies between living cells and mechanical factories. However, the living organ- ism = machine analogy was criticized already by David Hume in his Dialogues Concerning Natural Religion. In line with Hume’s criticism, over the past several years a more nuanced and accurate understanding of what genes are and how they operate has emerged, ironically in part from the work of computational scientists who take biology, and in particular developmental biology, more seriously than some biologists seem to do. In this article we connect Hume’s original criticism of the living organism = machine analogy with the modern ID movement, and illustrate how the use of misleading and outdated metaphors in science can play into the hands of pseudoscientists. Thus, we argue that dropping the blueprint and similar metaphors will improve both the science of biology and its understanding by the general public. (shrink)

Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding (...) misguided? In this paper, using the case of deep neural networks, I argue that it is not the complexity or black box nature of a model that limits how much understanding the model provides. Instead, it is a lack of scientific and empirical evidence supporting the link that connects a model to the target phenomenon that primarily prohibits understanding. (shrink)

Though it did not yet exist as a discrete field of scientific inquiry, biology was at the heart of many of the most important debates in seventeenth-century philosophy. Nowhere is this more apparent than in the work of G. W. Leibniz. In Divine Machines, Justin Smith offers the first in-depth examination of Leibniz's deep and complex engagement with the empirical life sciences of his day, in areas as diverse as medicine, physiology, taxonomy, generation theory, and paleontology. He shows how these (...) wide-ranging pursuits were not only central to Leibniz's philosophical interests, but often provided the insights that led to some of his best-known philosophical doctrines.Presenting the clearest picture yet of the scope of Leibniz's theoretical interest in the life sciences, Divine Machines takes seriously the philosopher's own repeated claims that the world must be understood in fundamentally biological terms. Here Smith reveals a thinker who was immersed in the sciences of life, and looked to the living world for answers to vexing metaphysical problems. He casts Leibniz's philosophy in an entirely new light, demonstrating how it radically departed from the prevailing models of mechanical philosophy and had an enduring influence on the history and development of the life sciences. Along the way, Smith provides a fascinating glimpse into early modern debates about the nature and origins of organic life, and into how philosophers such as Leibniz engaged with the scientific dilemmas of their era. (shrink)

With the development of the globalization of science and technology, innovation has become an important driving force for regional economic development. As a core element of regional innovation, financial R&D resources have also become a key element to enhance national innovation capabilities and national economic competitiveness. National and regional innovation capabilities have a direct impact. There are also many deep-seated problems behind the world-renowned achievements, such as irrational industrial structure, insufficient independent innovation capabilities, low resource utilization efficiency, and the service (...) quality and efficiency of financial institutions for the transformation of total factor productivity. These problems extremely restrict the efficiency upgrade and further development of our country’s total factor productivity. This study uses the DEA-Malmquist index model to measure the efficiency of fiscal R&D resource allocation in 28 provinces and regions in China in the past 10 years and uses Mapinfo12.0 software to analyze regional differences in the efficiency of fiscal R&D resource allocation in China from a spatial perspective. During the year, the overall R&D resource allocation efficiency of 28 provinces and autonomous regions in China has shown an upward trend. The efficiency of fiscal R&D resource allocation and the concentration of financial factors have had a positive impact on total factor productivity, transform and upgrade factors, increase total factor productivity, and provide empirical evidence for building a strong country. (shrink)

This paper develops an account of how the implementation of ML models into healthcare settings requires revising the methodological apparatus of philosophical bioethics. On this account, ML models are cognitive interventions that provide decision-support to physicians and patients. Due to reliability issues, opaque reasoning processes, and information asymmetries, ML models pose inferential problems for them. These inferential problems lay the grounds for many ethical problems that currently claim centre-stage in the bioethical debate. Accordingly, this paper argues that the best way (...) to make progress in remedying these ethical problems is to distil their epistemic core and to identify appropriate epistemic norms as guardrails. The viability of this approach will be highlighted based on four key issues: trust, responsibility, paternalism, and fairness. In that respect, the paper also contributes to a more pronounced view of the specific methodological challenges for ethical theorizing, when the point of reference are complex statistical models that make predictions, rather than individual agents, acting for reasons. (shrink)

This study investigates the performance of 21 monolingual and 56 bilingual children aged 5;6-9;0 on German-LITMUS-sentence-repetition (SRT; Hamann et al., 2013) and nonword-repetition-tasks (NWRT; Grimm et al., 2014), which were constructed according to the LITMUS-principles (Language Impairment Testing in Multilingual Settings; Armon-Lotem et al., 2015). Both tasks incorporate complex structures shown to be cross-linguistically challenging for children with Specific Language Impairment (SLI) and aim at minimizing bias against bilingual children while still being indicative of the presence of language impairment across (...) language combinations. Given the great variability in bilingual language exposure and the potential effect of language experience on language performance in bilingual children, we examined whether background variables related to bilingualism, particularly, the degree language dominance as measured by relative amount of use and exposure, could compromise the diagnostic accuracy of the German-LITMUS-SRT and NWRT. We further investigated whether a combination of the two tasks provides better diagnostic accurracy. To address this, we used an unsupervised machine learning algorithm, the Partitioning-Around-Medoids (PAM), for deriving a clinical category for the children as ±language-impaired based on performance scores on SRT and/or NWRT while withholding information about their clinical status based on standardized assessment in L1/L2. Subsequently, we calculated diagnostic accuracy and investigated which background variables (age of onset, length of exposure, degree of language-dominance, socio-economic-status, and risk factors for SLI) best explained clinical-group-membership yielded from the PAM-analysis based on NWRT and/or SRT scores. Results show that although language-dominance influences the performance of bilingual typically-developing children, especially in the SRT, the diagnostic accuracy of the tools is not compromised by language dominance: while risk factors for SLI were significant predictors for clinical group membership in all models, language dominance did not contribute at all to explaining clinical cluster membership as typically-developing or SLI based on any of the combinations of the SRT and NWRT variables. Additionally, results confirm that a combination of SRT scored by correct target structure and the structurally more complex language-dependent part of the NWRT yields better diagnostic accuracy than single measures and is only sensitive for risk factors for SLI and not to dominance levels or SES. (shrink)

Machine learning and essentialism have been connected in the past by various researchers, in order to state that the main paradigm in machine learning processes is equivalent to choosing the “essential” attributes for the machine to search for. Our goal in this paper is to show that there are connections between machine learning and essentialism, but only for some kinds of machine learning, and often not including deep learning methods. Similarity-based approaches, more connected to the (...) overall prototype theory, spanning from psychology and linguistics, seem more suited for pattern recognition and complex deep-learning issues, while for classification problems, mostly for unsupervised learning, essentialism seems like the best choice. In order to illustrate the difference better, we will connect both paths to their sources in other disciplines and see how human psychology influences our decision in machine-learning modeling as well. This leads to a philosophically very interesting consequence: even in the setting of supervised machine learning, essences are not present in data, but in targets, which in turn means that the categories which purport to be essences are in fact human-made, and hand-coded in the targets. The success of machine learning, therefore, does not give any substantial evidence for the independent existence of essential properties. Our stance here is to state that neither the existence nor the lack of “essential” properties in machine learning can lead to metaphysical, i.e., ontological claims. (shrink)

Inventive Machine project is the matter of discussion. The project aims to develop a family of AI systems for intelligent support of all stages of engineering design.Peculiarities of the IM project:deep and comprehensive knowledge base — the theory of inventive problem solving (TIPS)solving complex problems at the level of inventionsapplication in any area of engineeringstructural prediction of engineering system developmentThe systems of the second generation are described in detail.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

The notion of computation has changed the world more than any previous expressions of knowledge. However, as know-how in its particular algorithmic embodiment, computation is closed to meaning. Therefore, computer-based data processing can only mimic life’s creative aspects, without being creative itself. AI’s current record of accomplishments shows that it automates tasks associated with intelligence, without being intelligent itself. Mistaking the abstract for the concrete has led to the religion of “everything is an output of computation”—even the humankind that conceived (...) the computer. The hypostatized role of computers explains the increased dependence on them. The convergence machine called deep learning is only the most recent form through which the deterministic theology of the machine claims more than what it actually is: extremely effective data processing. A proper understanding of complexity, as well as the need to distinguish between the reactive nature of the artificial and the anticipatory nature of the living are suggested as practical responses to the challenges posed by machine theology. (shrink)

Most philosophers appear to have ignored the distinction between the broad concept of Virtual Machine Functionalism (VMF) described in Sloman&Chrisley (2003) and the better known version of functionalism referred to there as Atomic State Functionalism (ASF), which is often given as an explanation of what Functionalism is, e.g. in Block (1995). -/- One of the main differences is that ASF encourages talk of supervenience of states and properties, whereas VMF requires supervenience of machines that are arbitrarily complex networks of (...) causally interacting (virtual, but real) processes, possibly operating on different time-scales, examples of which include many different procesess usually running concurrently on a modern computer performing various tasks concerned with handling interfaces to physical devices, managing the file system, dealing with security, providing tools, entertainments, and games, and possibly processing research data. Another example of VMF would be the kind of functionalism involved in a large collection of possibly changing socio-economic structures and processes interacting in a complex community, and yet another is illustrated by the kind of virtual machinery involved in the many levels of visual processing of information about spatial structures, processes, and relationships (including percepts of moving shadows, reflections, highlights, optical-flow patterns and changing affordances) as you walk through a crowded car-park on a sunny day: generating a whole zoo of interacting qualia. (Forget solitary red patches, or experiences thereof.) -/- Perhaps VMF should be re-labelled "Virtual MachinERY Functionalism" because the word 'machinery' more readily suggests something complex with interacting parts. VMF is concerned with virtual machines that are made up of interacting concurrently active (but not necessarily synchronised) chunks of virtual machinery which not only interact with one another and with their physical substrates (which may be partly shared, and also frequently modified by garbage collection, metabolism, or whatever) but can also concurrently interact with and refer to various things in the immediate and remote environment (via sensory/motor channels, and possible future technologies also). I.e. virtual machinery can include mechanisms that create and manipulate semantic content, not only syntactic structures or bit patterns as digital virtual machines do. -/- Please note: Click on the title above or the link below to read the paper. I prefer to keep all my papers freely accessible on my web site so that I can correct mistakes and add improvements. -/- http://www.cs.bham.ac.uk/research/projects/cogaff/misc/vm-functionalism.html -/- This is now part of the Meta-Morphogenesis project: http://www.cs.bham.ac.uk/research/projects/cogaff/misc/meta-morphogenesis.html. (shrink)

Given any simply consistent formal theory F of the state complexity L(S) of finite binary sequences S as computed by 3-tape-symbol Turing machines, there exists a natural number L(F ) such that L(S) > n is provable in F only if n L(F ). The proof resembles Berry’s..