Results 31 to 40 of about 14,100 (298)
IET Cyber-Physical Systems, 2017 We present LhaVrf, a symbolic verifier for the safety verification of concurrent LHA (Linear Hybrid Automaton). A concurrent LHA is composed of a set of LHAs that interact through shared variables and/or events.
Hao Ren +4 more
doaj +1 more source
Counterexample to Eremenko\u27s Conjecture [PDF]
, 2022 Eremenko’s Conjecture is a long-standing problem in complex dynamics that asks whetherevery connected component of the set of escaping points of a transcendental entire function is unbounded.
Low, Paradise
core +1 more source
Defining knowledge: Gettier like scenarios [PDF]
Belgrade Philosophical Annual, 2013 In this paper we analyse the requirements for a redefinition of knowledge that would block all the Gettier-like counterexamples raised against the traditional definition of knowledge.
Eelink Guus, Sikimić Vlasta
doaj +1 more source
On the No-Counterexample Interpretation
Journal of Symbolic Logic, 1997 AbstractIn [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theoremA(Aprenex) of first-order Peano arithmeticPAone can find ordinal recursive functionalsof order type < ε0which realize the ...
openaire +4 more sources
Polytopes and Large Counterexamples [PDF]
Experimental Mathematics, 2017 In this short note, we give large counterexamples to natural questions about certain order polytopes, in particular, Gelfand--Tsetlin polytopes. Several of the counterexamples are too large to be discovered via a brute-force computer search. We also show that the multiset of hooks in a Young diagram is not enough information to determine the Ehrhart ...
openaire +3 more sources
Understanding Poincaré theorem with Counterexample
, 2023 This paper is about understanding Poincaré theorem in the view of observation. And suggests counterexample of the proved theorem.
Jihyeon Yoon (13214070)
core +1 more source
Mathematics, 2018 The 4-color theorem was proved by showing that a minimum counterexample cannot exist. Birkhoff demonstrated that a minimum counterexample must be internally 6-connected.
James Tilley
doaj +1 more source
Comment on “A comment on metric vs metric-affine gravity”
Nuclear Physics B, 2023 It has been recently claimed in [1] that an action of the Einstein-Palatini form plus a torsionless Pontryagin term (multiplied by a constant) represents a counterexample to the conclusions of [2], namely, that Lovelock gravity is the only case in which ...
Gonzalo J. Olmo, P.J. Porfírio
doaj +1 more source
A Counterexample to Parfit's Rule Consequentialism [PDF]
, 2012 Derek Parfit argues that everyone ought to follow the principles whose universal acceptance would make things go best. I present a counterexample: a world in which no one's moral beliefs have any motivating force.
Nebel, Jacob
core +4 more sources
Causal behaviour on Carter Spacetime
ACI Avances en Ciencias e Ingenierías, 2015 In this work we will focus on the causal character of Carter Spacetime (see [2], [10]). The importance of this spacetime is the following: for the causally best well behaved spacetimes (the globally hyperbolic ones), there are several characterizations ...
Oihane F. Blanco, Andrea Moreira
doaj +1 more source