中文
相关论文

相关论文: Comments on Shimony's Analysis

200 篇论文

The various requirements on a consistent varying speed of light (`VSL') theory are surveyed, giving a short check-list of issues that should be satisfactorily handled by such theories.

天体物理学 · 物理学 2008-11-26 George F R Ellis

In this paper, we argue for a paradigm shift from the current model of explainable artificial intelligence (XAI), which may be counter-productive to better human decision making. In early decision support systems, we assumed that we could…

人工智能 · 计算机科学 2023-03-14 Tim Miller

A proof is given, at a greater level of generality than previous 'no-go' theorems, of the impossibility of formulating a modal interpretation that exhibits 'serious' Lorentz invariance at the fundamental level. Particular attention is given…

量子物理 · 物理学 2007-05-23 Wayne C. Myrvold

In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society has been absolutely remarkable. This impact is expected to continue in the foreseeable future. However,the adoption of AI/ML is also a cause of…

人工智能 · 计算机科学 2024-06-19 Joao Marques-Silva

As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus…

人工智能 · 计算机科学 2014-01-17 Ivan José Varzinczak

In this contribution to FQXi's essay contest 2018, I suggest that it is sometimes a step forward to reverse our intuition on "what is fundamental", a move that is somewhat reminiscent of the idea of noncommutative geometry. I argue that…

物理学史与哲学 · 物理学 2020-02-05 Markus P. Mueller

Recent investigations into the physical nature of information and fundamental limits to information transmission have revealed questions such as the possibility of superluminal data transfer or not; and whether reversible computation…

经典物理 · 物理学 2007-05-23 Michael C. Parker , Stuart D. Walker

Quintessence theories for cosmic acceleration imbue dark energy with a non-trivial dynamics that offers hope in distinguishing the physical origin of the component. We review quintessence models with an emphasis on this dynamics and discuss…

天体物理学 · 物理学 2009-06-23 Eric V. Linder

The functional interpretation is a systematic, syntactic method for transforming certain non-constructive proofs into constructive proofs with explicit bounds. We illustrate the interpretation by working through a concrete, fairly simple…

逻辑 · 数学 2015-03-20 Henry Towsner

Einstein's theory of relativity establishes the speed of light in vacuum, c, as a fundamental constant. However, the speed of light pulses can be altered significantly in dispersive materials. While significant control can be exerted over…

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any…

Kawamura and Cook specified the least set of information about a continuous function on the unit interval which is needed for fast function evaluation. This paper presents a variation of their result. To make the above statement precise,…

计算机科学中的逻辑 · 计算机科学 2018-08-28 Franz Brauße , Florian Steinberg

This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps…

逻辑 · 数学 2012-01-04 Dan E. Willard

The theoretical foundation of the object moving faster than light in vacuum ({\it tachyon}) is still missing or incomplete. Here we present the classical foundation of the relativistic dynamics including the tachyon. An anomalous…

高能物理 - 理论 · 物理学 2011-07-19 Mu-In Park , Young-Jai Park

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking…

计算机科学中的逻辑 · 计算机科学 2013-06-05 Nikola Beneš , Benoît Delahaye , Uli Fahrenberg , Jan Křetínský , Axel Legay

Numerous logics have been developed to reason either about threshold-induced opinion diffusion in a network, or about similarity-driven network structure evolution, or about both. In this paper, we first introduce a logic containing…

多智能体系统 · 计算机科学 2023-07-12 Edoardo Baccini , Zoé Christoff

In this extended note a critical discussion of an extension of the Lorentz transformations for velocities faster than the speed of light given recently by Hill and Cox is provided. The presented approach reveals the connection between…

广义相对论与量子宇宙学 · 物理学 2014-04-15 Congrui Jin , Markus Lazar

Through a series of examples, we illustrate some important drawbacks that the action logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the…

计算机科学中的逻辑 · 计算机科学 2017-07-28 Will Nalls , Adam Bjorndahl

It is argued that special relativity remains a viable physical theory even when there is permitted signals traveling faster than light.

广义相对论与量子宇宙学 · 物理学 2010-05-11 Robert Geroch

A new interpretation of astronomical aberration is given in this paper and it is based on the new theory of reference frames. The new interpretation confirms the result of classical physics based on the concept of ether and does not confirm…

综合物理 · 物理学 2009-12-11 Daniele Sasso
‹ 上一页 1 8 9 10 下一页 ›