Results for 'Pete Olcott'

75 found
Order:
  1. Refuting Incompleteness and Undefinability.Pete Olcott - manuscript
    Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Shit Happens.Pete Mandik - 2007 - Episteme 4 (2):205-218.
    Abstract In this paper I embrace what Brian Keeley calls in “Of Conspiracy Theories” the absurdist horn of the dilemma for philosophers who criticize such theories. I thus defend the view that there is indeed something deeply epistemically wrong with conspiracy theorizing. My complaint is that conspiracy theories apply intentional explanations to situations that give rise to special problems concerning the elimination of competing intentional explanations.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  3. Rebutting the Sipser Halting Problem Proof V2.P. Olcott - manuscript
    A simulating halt decider correctly predicts what the behavior of its input would be if this simulated input never had its simulation aborted. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. -/- When simulating halt decider H correctly predicts that directly executed D(D) would remain stuck in recursive simulation (run forever) unless H aborts its simulation of D this directly applies to the halting theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Defining Gödel Incompleteness Away.P. Olcott - manuscript
    We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Deductively Sound Formal Proofs.P. Olcott - manuscript
    Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].
    Download  
     
    Export citation  
     
    Bookmark  
  7. Eliminating Undecidability and Incompleteness in Formal Systems.P. Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Termination Analyzer H is Not Fooled by Pathological Input D.P. Olcott - manuscript
    A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H cannot possibly reach its own line 06 and halt then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof.
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Sellarsian Fate of Mental Fictionalism.László Kocsis & Krisztián Pete - 2022 - In Tamás Demeter, T. Parent & Adam Toon (eds.), Mental Fictionalism: Philosophical Explorations. New York & London: Routledge. pp. 127-146.
    This chapter argues that mental fictionalism can only be a successful account of our ordinary folk-psychological practices if it can in some way preserve its original function, namely its explanatory aspect. A too strong commitment to the explanatory role moves fictionalism unacceptably close to the realist or eliminativist interpretation of folk psychology. To avoid this, fictionalists must degrade or dispense with this explanatory role. This motivation behind the fictionalist movement seems to be rather similar to that of Sellars when he (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Meta-Illusionism and Qualia Quietism.Pete Mandik - 2016 - Journal of Consciousness Studies 23 (11-12):140-148.
    Many so-called problems in contemporary philosophy of mind depend for their expression on a collection of inter-defined technical terms, a few of which are qualia, phenomenal property, and what-it’s-like-ness. I express my scepticism about Keith Frankish’s illusionism, the view that people are generally subject to a systematic illusion that any properties are phenomenal, and scout the relative merits of two alternatives to Frankish’s illusionism. The first is phenomenal meta-illusionism, the view that illusionists such as Frankish, in holding their view, are (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Color-Consciousness Conceptualism.Pete Mandik - 2012 - Consciousness and Cognition 21 (2):617-631.
    The goal of the present paper is to defend against a certain line of attack the view that conscious experience of color is no more fine-grained that the repertoire of non- demonstrative concepts that a perceiver is able to bring to bear in perception. The line of attack in question is an alleged empirical argument - the Diachronic Indistinguishability Argument - based on pairs of colors so similar that they can be discriminated when simultaneously presented but not when presented across (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  13. Minimal Type Theory (MTT).P. Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Action-oriented representation.Pete Mandik - 2005 - In Andrew Brook & Kathleen Akins (eds.), Cognition and the Brain: The Philosophy and Neuroscience Movement. Cambridge University Press. pp. 284--305.
    Often, sensory input underdetermines perception. One such example is the perception of illusory contours. In illusory contour perception, the content of the percept includes the presence of a contour that is absent from the informational content of the sensation. (By “sensation” I mean merely information-bearing events at the transducer level. I intend no further commitment such as the identification of sensations with qualia.) I call instances of perception underdetermined by sensation “underdetermined perception.” The perception of illusory contours is just one (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  15. Semantic WFF(x) specified syntactically.P. Olcott - manuscript
    Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Sliders.Pete Mandik - 2023 - Journal of Consciousness Studies 30 (9):154-163.
    'Sliders' are a speculative introspection-enhancing future technology allowing humans with cybernetic brain implants to precisely and voluntarily modulate moods and other mental states that vary along a one-dimensional scale. Such future humans may, for example, use the Sliders interface to temporarily present a COWARDLY–COURAGEOUS 'slider' in their visual field, and with a mere act of will change their level of courage from a 60 to a 65 on the 100-point scale. The present article discusses the implications of such a technology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Type-q materialism.Pete Mandik & Josh Weisberg - 2008 - In Chase Wrenn (ed.), Naturalism, Reference and Ontology: Essays in Honor of Roger F. Gibson. Peter Lang Publishing Group.
    s Gibson (1982) correctly points out, despite Quine’s brief flirtation with a “mitigated phenomenalism” (Gibson’s phrase) in the late 1940’s and early 1950’s, Quine’s ontology of 1953 (“On Mental Entities”) and beyond left no room for non-physical sensory objects or qualities. Anyone familiar with the contemporary neo-dualist qualia-freak-fest might wonder why Quinean lessons were insufficiently transmitted to the current generation.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  18. Formalizing Self-Reference Paradox using Predicate Logic.P. Olcott - manuscript
    We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Qualia, space, and control.Pete Mandik - 1999 - Philosophical Psychology 12 (1):47-60.
    According to representionalists, qualia-the introspectible properties of sensory experience-are exhausted by the representational contents of experience. Representationalists typically advocate an informational psychosemantics whereby a brain state represents one of its causal antecedents in evolutionarily determined optimal circumstances. I argue that such a psychosemantics may not apply to certain aspects of our experience, namely, our experience of space in vision, hearing, and touch. I offer that these cases can be handled by supplementing informational psychosemantics with a procedural psychosemantics whereby a representation (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  20. Control Consciousness.Pete Mandik - 2010 - Topics in Cognitive Science 2 (4):643-657.
    Control consciousness is the awareness or experience of seeming to be in control of one’s actions. One view, which I will be arguing against in the present paper, is that control consciousness is a form of sensory consciousness. In such a view, control consciousness is exhausted by sensory elements such as tactile and proprioceptive information. An opposing view, which I will be arguing for, is that sensory elements cannot be the whole story and must be supplemented by direct contributions of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  21. How Philosophy of Mind Can Shape the Future.Susan Schneider & Pete Mandik - 2018 - In Amy Kind (ed.), Philosophy of Mind in the Twentieth and Twenty-First Centuries: The History of the Philosophy of Mind, Volume 6. New York: Routledge. pp. 303-319.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Mental representation and the subjectivity of consciousness.Pete Mandik - 2001 - Philosophical Psychology 14 (2):179-202.
    Many have urged that the biggest obstacles to a physicalistic understanding of consciousness are the problems raised in connection with the subjectivity of consciousness. These problems are most acutely expressed in consideration of the knowledge argument against physicalism. I develop a novel account of the subjectivity of consciousness by explicating the ways in which mental representations may be perspectival. Crucial features of my account involve analogies between the representations involved in sensory experience and the ways in which pictorial representations exhibit (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  23. Essay on Transcendental Realism.Pete Wolfendale - manuscript
    The object of realist metaphysics is generally thought to be to describe the structure of the world as it is in itself, or, alternatively, to determine precisely what is real. The purpose of this essay is to suggest that, although there have been many attempts to achieve this goal, they all fall down, not simply because they have misconstrued the nature of the in-itself or precisely what is real, but because, more fundamentally, they are not clear about what it is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. On Whether the Higher-Order Thought Theory of Consciousness Entails Cognitive Phenomenology, or: What is it Like to Think that One Thinks that P?Richard Brown & Pete Mandik - 2012 - Philosophical Topics 40 (2):1-12.
    Among our conscious states are conscious thoughts. The question at the center of the recent growing literature on cognitive phenomenology is this: In consciously thinking P, is there thereby any phenomenology—is there something it’s like? One way of clarifying the question is to say that it concerns whether there is any proprietary phenomenology associated with conscious thought. Is there any phenomenology due to thinking, as opposed to phenomenology that is due to some co-occurring sensation or mental image? In this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Beware of the unicorn: Consciousness as being represented and other things that don't exist.Pete Mandik - 2009 - Journal of Consciousness Studies 16 (1):5-36.
    Higher-Order Representational theories of consciousness — HORs — primarily seek to explain a mental state’s being conscious in terms of the mental state’s being represented by another mental state. First-Order Representational theories of consciousness — FORs — primarily seek to explain a property’s being phenomenal in terms of the property being represented in experience. Despite differences in both explanans and explananda, HORs and FORs share a reliance on there being such a property as being represented. In this paper I develop (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  26. Metaphysical Daring as a Posthuman Survival Strategy.Pete Mandik - 2015 - Midwest Studies in Philosophy 39 (1):144-157.
    I develop an argument that believing in the survivability of a mind uploading procedure conveys value to its believers that is assessable independently of assessing the truth of the belief. Regardless of whether the first-order metaphysical belief is true, believing it conveys a kind of Darwinian fitness to the believer. Of course, a further question remains of whether having that Darwinian property can be a basis—in a rational sense of being a basis—for one’s holding the belief. I’ll also make some (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Swamp Mary’s revenge: deviant phenomenal knowledge and physicalism.Pete Mandik - 2010 - Philosophical Studies 148 (2):231-247.
    Deviant phenomenal knowledge is knowing what it’s like to have experiences of, e.g., red without actually having had experiences of red. Such a knower is a deviant. Some physicalists have argued and some anti-physicalists have denied that the possibility of deviants undermines anti-physicalism and the Knowledge Argument. The current paper presents new arguments defending the deviant-based attacks on anti-physicalism. Central to my arguments are considerations concerning the psychosemantic underpinnings of deviant phenomenal knowledge. I argue that physicalists are in a superior (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. The Myth of Color Sensations, or How Not to See a Yellow Banana.Pete Mandik - 2017 - Topics in Cognitive Science 9 (1):228-240.
    I argue against a class of philosophical views of color perception, especially insofar as such views posit the existence of color sensations. I argue against the need to posit such nonconceptual mental intermediaries between the stimulus and the eventual conceptualized perceptual judgment. Central to my arguments are considerations of certain color illusions. Such illusions are best explained by reference to high-level, conceptualized knowledge concerning, for example, object identity, likely lighting conditions, and material composition of the distal stimulus. Such explanations obviate (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Conscious-state Anti-realism.Pete Mandik - 2015 - In Carlos Muñoz-Suárez & Felipe De Brigard (eds.), Content and Consciousness Revisited: With Replies by Daniel Dennett. Cham: Springer. pp. 184-197.
    Realism about consciousness conjoins a claim that consciousness exists with a claim that the existence is independent in some interesting sense. Consciousness realism so conceived may thus be opposed by a variety of anti-realisms, distinguished from each other by denying the first, the second, or both of the realist’s defining claims. I argue that Dennett’s view of consciousness is best read as an anti-realism that affirms the existence of consciousness while denying an important independence claim.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Varieties of representation in evolved and embodied neural networks.Pete Mandik - 2003 - Biology and Philosophy 18 (1):95-130.
    In this paper I discuss one of the key issuesin the philosophy of neuroscience:neurosemantics. The project of neurosemanticsinvolves explaining what it means for states ofneurons and neural systems to haverepresentational contents. Neurosemantics thusinvolves issues of common concern between thephilosophy of neuroscience and philosophy ofmind. I discuss a problem that arises foraccounts of representational content that Icall ``the economy problem'': the problem ofshowing that a candidate theory of mentalrepresentation can bear the work requiredwithin in the causal economy of a mind and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  31. The neurophilosophy of consciousness.Pete Mandik - 2007 - In Max Velmans & Susan Schneider (eds.), The Blackwell Companion to Consciousness. Blackwell. pp. 418--430.
    The neurophilosophy of consciousness brings neuroscience to bear on philosophical issues concerning phenomenal consciousness, especially issues concerning what makes mental states conscious, what it is that we are conscious of, and the nature of the phenomenal character of conscious states. Here attention is given largely to phenomenal consciousness as it arises in vision. The relevant neuroscience concerns not only neurophysiological and neuroanatomical data, but also computational models of neural networks. The neurophilosophical theories that bring such data to bear on the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Supervenience and neuroscience.Pete Mandik - 2011 - Synthese 180 (3):443 - 463.
    The philosophical technical term "supervenience" is frequently used in the philosophy of mind as a concise way of characterizing the core idea of physicalism in a manner that is neutral with respect to debates between reductive physicalists and nonreductive physicalists. I argue against this alleged neutrality and side with reductive physicalists. I am especially interested here in debates between psychoneural reductionists and nonreductive functionalist physicalists. Central to my arguments will be considerations concerning how best to articulate the spirit of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Robot Pain.Pete Mandik - 2017 - In Jennifer Corns (ed.), The Routledge Handbook of Philosophy of Pain. New York: Routledge. pp. 200-209.
    I have laid out what seem to me to be the most promising arguments on opposing sides of the question of whether what humans regard as the first-person accessible aspects of pain could also be implemented in robots. I have emphasized the ways in which the thought experiments in the respective arguments attempt to marshal hypothetical first- person accessible evidence concerning how one’s own mental life appears to oneself. In the Chinese room argument, a crucial premise involves the thesis that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. The introspectibility of brain states as such.Pete Mandik - 2006 - In Brian Keeley (ed.), Paul Churchland. Cambridge: Cambridge University Press.
    Is the Introspection Thesis true? It certainly isn’t obvious. Introspection is the faculty by which each of us has access to his or her own mental states. Even if we were to suppose that mental states are identical to brain states, it doesn’t follow immediately from this supposition that we can introspect our mental states as brain states. This point is analogous to the following. It doesn’t follow immediately from the mere fact that some distant object is identical to a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Does the halting problem place an actual limit on computation?P. Olcott - manuscript
    Hehner and Stoddart agree that the halting problem has an inconsistent, unsatisfiable specification. Hehner and Macias agree that a key issue with the halting problem is that it requires a: subjective specification(Hehner) / context dependent function(Macias). When a problem has an unsatisfiable specification because this specification is inconsistent then the unsatisfiability of the specification is anchored in its error thus does not actually limit computation.
    Download  
     
    Export citation  
     
    Bookmark  
  36. The Philosophy and Neuroscience Movement.Andrew Brook & Pete Mandik - 2007 - Analyse & Kritik 29 (1):3-23.
    A movement dedicated to applying neuroscience to traditional philosophical problems and using philosophical methods to illuminate issues in neuroscience began about twenty-five years ago. Results in neuroscience have affected how we see traditional areas of philosophical concern such as perception, belief-formation, and consciousness. There is an interesting interaction between some of the distinctive features of neuroscience and important general issues in the philosophy of science. And recent neuroscience has thrown up a few conceptual issues that philosophers are perhaps best trained (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Cognitive Approaches to Phenomenal Consciousness.Pete Mandik - 2018 - In Dale Jacquette (ed.), The Bloomsbury Companion to the Philosophy of Consciousness. New York: Bloomsbury Academic. pp. 347-370.
    The most promising approaches to understanding phenomenal consciousness are what I’ll call cognitive approaches, the most notable exemplars of which are the theories of consciousness articulated by David Rosenthal and Daniel Dennett. The aim of the present contribution is to review the core similarities and differences of these exemplars, as well as to outline the main strengths and remaining challenges to this general sort of approach.
    Download  
     
    Export citation  
     
    Bookmark  
  38. What is Visual and Phenomenal but Concerns neither Hue nor Shade?Pete Mandik - 2013 - In Richard Brown (ed.), Consciousness Inside and Out: Phenomenology, Neuroscience, and the Nature of Experience.
    Though the following problem is not explicitly raised by her, it seems sufficiently similar to an issue of pertinence to Akins's "Black and White and Color" (this volume) to merit the moniker, Akins's Problem : Can there be a visual experience devoid of both color phenomenology and black-and-white phenomenology? The point of the present paper is to draw from Akins's paper the materials needed to sketch a case for a positive answer to Akins's Problem. I am unsure about how much (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Objective Subjectivity: Allocentric and Egocentric Representations in Thought and Experience.Pete Mandik - 2000 - Dissertation, Washington University
    Many philosophical issues concern questions of objectivity and subjectivity. Of these questions, there are two kinds. The first considers whether something is objective or subjective; the second what it _means_ for something to be objective or subjective.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs.P. Olcott - manuscript
    A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Halting problem undecidability and infinitely nested simulation.P. Olcott - manuscript
    The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. The pathological self-reference of the conventional halting problem proof counter-examples is overcome. The halt status of these examples is correctly determined. A simulating halt decider remains in pure simulation mode until after it determines that its input will never reach its final state. This eliminates the conventional feedback loop where the behavior of the halt decider effects the behavior of its input.
    Download  
     
    Export citation  
     
    Bookmark  
  42.  87
    Simulating Halt Deciders Defeat the Halting Theorem.P. Olcott - manuscript
    The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Rebutting the Sipser Halting Problem Proof.P. Olcott - manuscript
    MIT Professor Michael Sipser has agreed that the following verbatim paragraph is correct (he has not agreed to anything else in this paper) -------> -/- If simulating halt decider H correctly simulates its input D until H correctly determines that its simulated D would never stop running unless aborted then H can abort its simulation of D and correctly report that D specifies a non-halting sequence of configurations.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Simulating Halt Decider Applied to the Halting Theorem.P. Olcott - manuscript
    The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction. ---------------------------------------------------------------------------------------------------- ---- Simulating halt decider H correctly determines that D correctly simulated by H would remain stuck in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Halting problem proofs refuted on the basis of software engineering ?P. Olcott - manuscript
    This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at the much higher level (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Halting problem undecidability and infinitely nested simulation (V2).P. Olcott - manuscript
    The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Halting problem undecidability and infinitely nested simulation (V3).P. Olcott - manuscript
    By making a slight refinement to the halt status criterion measure that remains consistent with the original a halt decider may be defined that correctly determines the halt status of the conventional halting problem proof counter-examples. This refinement overcomes the pathological self-reference issue that previously prevented halting decidability.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Tarski Undefinability Theorem Succinctly Refuted.P. Olcott - manuscript
    If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Halting Problem Proof from Finite Strings to Final States.P. Olcott - manuscript
    If there truly is a proof that shows that no universal halt decider exists on the basis that certain tuples: (H, Wm, W) are undecidable, then this very same proof (implemented as a Turing machine) could be used by H to reject some of its inputs. When-so-ever the hypothetical halt decider cannot derive a formal proof from its input strings and initial state to final states corresponding the mathematical logic functions of Halts(Wm, W) or Loops(Wm, W), halting undecidability has been (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 75