The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition (...) of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated. (shrink)

The GOOGLE and XPRIZE $5,000,000 for the practical and socially useful utilization of the quantum computer is the starting point for ontomathematical reflections for what it can really serve. Its “output by measurement” is opposed to the conjecture for a coherent ray able alternatively to deliver the ultimate result of any quantum calculation immediately as a Dirac -function therefore accomplishing the transition of the sequence of increasingly narrow probability density distributions to their limit. The GOOGLE and XPRIZE problem’s solution needs (...) the initial understanding that the result of any quantum calculation is a wave function, or respectively, a probability (density or not) distribution unlike the Turing machine one, and only a “calculating ray” is able to transform the former into the later without any “curving” disturbances. Thus, the unique capability of the quantum computer due to its inherent quantum parallelism can be conserved for all Gödel unresolvable problems, only on the fast “NP” track of which the quantum computer “Achilles” is able practically to overrun the Turing machine “Tortoise” since the latter can “sprint” only by any “P” calculating speed even on it and unlike “Achilles” himself able for “NP” velocities as well. The way for any material body to “calculate” the certain trajectory of least action also resolves the “traveling salesman problem” in fact, therefore illustrating furthermore what the “NP” output of a quantum computer by a “calculating ray” should mean. Another example is the problem of the number of all prime numbers less than “N”, which is suggested to visualize once again the quantum computer capability to resolve problems by a “NP” speed and thus qualitatively to overrun any competing Turing machine. The technically implemented idea of laser is now reinterpreted to “radiate a wave function” in order to explain the “calculating ray” option for a quantum computer “NP” output. The generalization of an entanglement “trigger ray” described by any non-Hermitian operator (unlike a laser) is suggested as well as those “sci-fi” horizons which it reveals. One of them is meant for elucidating the practical meaning of the “Yang-Mills existence and mass gap problem”, one more of the CMI “Millennium Problems” after that of “P vs NP”. -/- . (shrink)

Here we discuss about the following results: 1.

I prove both the mathematical conjectures P ≠ NP and the Continuum Hypothesis are eternally unprovable using the same fundamental idea. Starting with the Saunders Maclane idea that a proof is eternal or it is not a proof, I use the indeterminacy of human biological capabilities in the eternal future to show that since both conjectures are independent of Axioms and have definitions connected with human biological capabilities, it would be impossible to prove them eternally without the creation and widespread (...) acceptance of new axioms. I also show that the same fundamental concepts cannot be used to demonstrate the eternal unprovability of many other mathematical theorems and open conjectures. Finally I investigate the idea’s implications for the foundations of mathematics including its relation to Godel’s Incompleteness Theorem and Tarsky’s Undefinability Theorem. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...) last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

Throughout this paper, in a nutshell we try to show a way to check Fuzzy time in general and Fuzzy time-Particle interpretation of Quantum Mechanics, experimentally. . -/- .

Here, we try to show that the method used in -/- Theory of Fuzzy Time Computation(TC * vs TC, TQC). 2023. ￿hal-04330281￿ -/- is a general method that sheds light on various types of problems. The author choose the navier stocks problem, to check the possibility of solving this problem by this method. This text is a guideline of possible proof of this problem.

This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem via Paradoxes (Presentation (...) 6/20/2022 In Persian, Online seminar of The Iranian Association for Logic (IAL) . (shrink)

One of the possible hypotheses about time is to consider any instant of time as a fuzzy number so that two instances of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas. Brouwer and Husserl are two examples. This article studies the impact of this change on the Theory of Computation and Complexity Theory. In order to rebuild the Theory of Computation in a more successful and productive approach to solve some major problems in Complexity Theory, (...) the present research is done. This novel theory is called here, the fuzzy time theory of computation, TC*. Here, we show the situation of some major problems in Complexity theory and Quantum complexity theory in the new model, and how some major problems would be solved. (shrink)

In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, as Philosophical back (...) ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. (shrink)

The surge in heart diseases among individuals at a young age is becoming increasingly apparent, marking a concerning trend. This escalation can be primarily attributed to the profound impact of lifestyle choices on cardiovascular health. Sedentary habits, poor dietary practices, and heightened stress levels prevalent in contemporary living contribute significantly to this rise. Recognizing the relevance of lifestyle in this health issue is crucial as it highlights the need for preventive measures. Early prediction of the possibility of heart disease emerges (...) as a pivotal strategy in addressing this challenge. Detecting potential risks at an early stage allows for timely interventions, potentially decreasing mortality rates and enhancing the life span of patients. In this context, the focus of the study is directed towards exploring and developing effective methods for early prediction, emphasizing the importance of proactive healthcare strategies in mitigating the growing burden of heart diseases in younger populations. (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some equality (...) may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers addresses the question of why is there something rather than nothing, at length, and gives a radical new answer. It has to do with the fact in CQ that, while blackness is contingently possible, █ is necessarily actual, as it was in this sentence. (shrink)

This chapter explores what it can mean to say that culinary products (i.e., recipes and their outputs) are creative. It answers this question by distinguishing between three different kinds of creativity (idle, productive, and super-productive creativity) and two different kinds of creative domains, locked-in and expandable ones. It argues that culinary products can be creative in the three different ways just mentioned and that, accordingly, the creative domain constituted by the culinary arts turns out to be an expandable one.

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we change and modify the (...) concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy Time. Given (...) the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

Reinforcement Learning (RL) has emerged as a powerful technique for optimizing decision-making in dynamic, uncertain, and complex environments. The ability of RL algorithms to adapt and learn from interactions with the environment enables them to solve challenging problems in fields such as robotics, autonomous systems, finance, and healthcare. In dynamic environments, where conditions change in real-time, RL must continually update its policy to maximize cumulative rewards. This paper explores the application of RL in dynamic environments, with a focus on its (...) ability to optimize real-time decision-making for complex systems. We discuss the challenges associated with these environments, such as non-stationarity, partial observability, and the trade-off between exploration and exploitation. Furthermore, we review recent advancements in RL techniques, including deep reinforcement learning (DRL), multi-agent RL, and model-based RL, and how these methods are addressing the complexity of real-time decision-making. Finally, we present a roadmap for future research, highlighting open questions and potential applications of RL in various industries. (shrink)

The essays in this special issue focus on connecting the relevant aspects of Lowe’s metaphysics to issues in philosophical theology. In this regard, the essays focus on Trinity, divine causal agency, atonement, embodied existence, physicalism vs. dualism, natural science, and theological claims.

In a series of articles we try to show the need of a novel Theory for Theory of Computation based on considering time as a Fuzzy concept. Time is a central concept In Physics. First we were forced to consider some changes and modifications in the Theories of Physics. In the second step and throughout this article we show the positive Impact of this modification on Theory of Computation and Complexity Theory to rebuild it in a more successful and fruitful (...) approach. We call this novel Theory TC*. (shrink)

This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this is an (...) ontic theory. (shrink)

We have shown the plausibility of considering time as a Fuzzy concept instead of classical time [7], [8]. By considering time as a fuzzy concept, we will have new classes of Complexity. Here, we show that how some famous problems will be solved in this new picture.

The nature of linguistic understanding is a much-debated topic. Among the issues that have been discussed, two questions have recently received a lot of attention: (Q1) ‘Are states of understanding direct (i.e. represent solely what is said) or indirect (i.e. represent what is said as being said/asserted)?’ and (Q2) ‘What kind of mental attitude is linguistic understanding (e.g. knowledge, belief, seeming)?’ This paper argues that, contrary to what is commonly assumed, there is no straightforward answer to either of these questions. (...) This is because linguistic understanding cannot be identified with a single mental attitude towards a particular representation. Instead, we should characterize states of linguistic understanding as involving complex representational structures generated by a dual-stream process. The first stream operates on direct representations of what is said, while the second operates on representations of what is said as being said/asserted by a given source. Both these streams feed a situation model, i.e. a complex representation of a state of affairs described by a given piece of discourse. (shrink)

With regard to recent historical developments, the Social Model has been of enormous emancipatory significance, chiefly as a counter-agent against rigid definitions of dis-/ability and the traditional role (marked by misfortune) imposed on disabled people. Based on underdetermined notions of “social construction”, this model presently threatens to unduly narrow reflections on the existential conditions of disabled agents, and to obscure crucial questions facing just social orders of the future. These notions imply an overemphasis on linguistic/mental and cultural acts in the (...) shaping of life courses, whereas physical, practical and existential pre-conditions of life come to be disregarded as purportedly freely available, (natural) features. Conversely, this argumentation sketch – a contribution to DisKo18 – works towards a reconceptualisation of disability rooted in external realism, assuming partially autonomous agents. The paper asks: What is the place of disabled people in the world, given that the elementary conditions and problems of life are not primarily of human origin, but arise out of a complex interaction with elements of external reality? What space remains to them in view of extant impairment-related restrictions? Based on a critique of constructionist tenets, possibilities for a just social order are discussed, considering (a) disabilities vs. (b) external, pre-social factors that limit the range of possible social solutions, with special regard to available resources. This approach is exemplified by placing disability in contexts of ecological sustainability. (Paper in German, short version). (shrink)

This study compares the budgeting strategies of single-income and dual-income households in selected barangays in Balayan. Using a quantitative comparative research design and purposive sampling, the study surveyed 196 single income and 196 dual-income households, all of which own a home, have two children enrolled in public school (from elementary to senior high school), and earn a monthly salary ranging from Php 10,957 to Php 21,914. Data were collected through face-to-face surveys and analyzed using statistical methods. The findings reveal no (...) significant difference in budgeting strategies between two household types, although educational attainment and monthly income do influence financial management. The study proposes an action plan to improve budgeting practices, focusing on financial literacy, income and expense management, and the establishment of an emergency fund. The study’s implications extend beyond Balayan, Batangas, offering valuable insights for other barangays in Balayan aiming to improve their budgeting strategies. (shrink)

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (shrink)

A proof for P=NP in modal logic. What it takes to simulate all particles in the universe correctly.

Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.

Here, we try to answer some questions about and around the project “Fuzzy Time and the possible impacts of it on science”, mainly proposed by individuals. Besides that, RG (Random Generator modele) is proposed to remove CON(TC*) from the above deduction. It is interesting and surprising although some ask the author interesting questions nevertheless none of them ask this, which author was waiting for that!

Psychopathy, which is characterized by a constellation of antisocial behavioral traits, may be subdivided on the basis of etiology: “primary” (low-anxious) psychopathy is viewed as a direct consequence of some core intrinsic deficit, whereas “secondary” (high-anxious) psychopathy is viewed as an indirect consequence of environmental factors or other psychopathology. Theories on the neurobiology of psychopathy have targeted dysfunction within ventromedial prefrontal cortex (vmPFC) as a putative mechanism, yet the relationship between vmPFC function and psychopathy subtype has not been fully explored. (...) In this study, we administered two laboratory decision-making tasks (the Ultimatum Game and the Dictator Game) to a group of prisoners (n=47) to determine whether the different subtypes of psychopathy (primary vs. secondary) are associated with characteristic patterns of economic decision-making, and furthermore, whether either subtype exhibits similar performance to patients with vmPFC lesions. Comparing primary psychopaths (n=6) to secondary psychopaths (n=6) and non-psychopaths (n=22), we found that primary psychopathy was associated with significantly lower acceptance rates of unfair Ultimatum offers and lower offer amounts in the Dictator Game. Moreover, primary psychopaths were quantitatively similar to vmPFC lesion patients in their response patterns. These results support the purported connection between psychopathy and vmPFC dysfunction, bolster the distinction between primary and secondary psychopathy, and demonstrate the utility of laboratory economic decision-making tests in differentiating clinical subgroups. (shrink)

Throughout this paper, we prove TC+CON(〖TC*〗 )ͰP≠NP. To do that, firstly, we introduce the definition of scope*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation in which (...) our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss the impact of TC* on TC. -/- . (shrink)

Here, by introducing a version of “Unexpected hanging paradox” first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system could support it. Finally, we propose a claim in Theory of Computation about the consistency of this Theory. One of the major claim is:Theory of Computation and Classical Logic leads us to a contradiction.

While I was working about some basic physical phenomena, I discovered some geometric relations that also interest mathematics. In this work, I applied the rules I have been proven to P=NP? problem over impossibility of perpendicularity in the universe. It also brings out extremely interesting results out like imaginary numbers which are known as real numbers currently. Also it seems that Euclidean Geometry is impossible. The actual geometry is Riemann Geometry and complex numbers are real.

This extracted book chapter contributes to the literature by inter alia undertaking a comparative analysis between (1) Greek virtue ethics and (2) Buddhist causal morality and deducing therefrom the predominant influence the latter has exerted on the former, to wit: the ‘streams’ of universal moral thought have ‘flowed’ from the ‘founts’ of the Indian subcontinent to the ‘reservoirs’ of the Mediterranean, not vice versa.

Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances involving attributively (...) used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

According to an increasingly popular view in epistemology and philosophy of mind, beliefs are sensitive to contextual factors such as practical factors and salient error possibilities. A prominent version of this view, called credal sensitivism, holds that the context-sensitivity of belief is due to the context-sensitivity of degrees of belief or credence. Credal sensitivism comes in two variants: while credence-one sensitivism (COS) holds that maximal confidence (credence one) is necessary for belief, threshold credal sensitivism (TCS) holds that belief consists in (...) having credence above some threshold, where this threshold doesn’t require maximal confidence. In this paper, I argue that COS has difficulties in accounting for three important features about belief: i) the compatibility between believing p and assigning non-zero credence to certain error possibilities that one takes to entail not-p, ii) the fact that outright beliefs can occur in different strengths, and iii) beliefs held by unconscious subjects. I also argue that TCS can easily avoid these problems. Finally, I consider an alleged advantage of COS over TCS in terms of explaining beliefs about lotteries. I argue that lottery cases are rather more problematic for COS than TCS. In conclusion, TCS is the most plausible version of credal sensitivitism. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to drop it altogether. (...) Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of conditions, (...) according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

In some cases of higher-order defeat, you rationally doubt whether your credence in p is rational without having evidence of how to improve your credence in p. According to the resilience framework proposed by Steglich-Petersen (Higher-order defeat and Doxastic Resilience), such cases require loss of doxastic resilience: retain your credence level but become more disposed to change your mind given future evidence. Henderson (Higher-Order Evidence and Losing One’s Conviction) responds that this allows for irrational decision-making and that we are better (...) off understanding higher-order defeat in terms of imprecise probabilities. We argue first that Henderson’s imprecise probability framework models the wrong kind of thing. Credal imprecision is neither necessary nor sufficient for higher-order doubt. Second, we offer two ways of understanding the practical import of higher-order defeat given loss of doxastic resilience. (shrink)

In this paper, I argue that, if transcendental arguments are to proceed from premises that are acceptable to the skeptic, the Transcendental Premise, according to which “X is a metaphysically necessary condition for the possibility of Y,” must be grounded in considerations of conceivability and possibility. More explicitly, the Transcendental Premise is based on what Szabó Gendler and Hawthorne call the “conceivability-possibility move.” This “inconceivability-impossibility” move, however, is a problematic argumentative move when advancing transcendental arguments for the following reasons. First, (...) from “S cannot conceive of P” it doesn’t necessarily follow that P is inconceivable. Second, from “P is inconceivable” it doesn’t necessarily follow that P is metaphysically impossible. Third, rather than block skeptical doubts, the conceivability-possibility move introduces skeptical doubts. For these reasons, transcendental arguments fail to deliver on their promise to overcome skeptical doubts. (shrink)

In this paper I am concerned with the semantic analysis of sentences of the form 'It is true that p'. I will compare different proposals that have been made to analyse such sentences and will defend a view that treats this sentences as a mere sytactic variation of sentences of the form 'That p is true'.

We recall, "a priori," numeric energy expression: -/- Energy Numbers -/- $\begin{gathered}\mathcal{V}=\left\{f \mid \exists\left\{e_1, e_2, \ldots, e_n\right\} \in E \cup R\right\} \\ \mathcal{V}=\left\{f \mid \exists\left\{e_1, e_2, \ldots, e_n\right\} \in E, \text { and }: E \mapsto r \in R\right\} \\ \mathcal{V}=\left\{E \mid \exists\left\{a_1, \ldots, a_n\right\} \in E, E \not \neg r \in R\right\}\end{gathered}$ -/- We now introduce the set of optimized energy numbers: -/- ($H_a \in \mathcal{H}$ or $P^n = NP$ or $(P,\mathcal{L},F) = NP$). -/- Based on our formulation of (...) the bi-objective optimization task, we can make the following mathematical inferences: -/- 1. If the optimized energy numbers set $\mathcal{N}_H$ is equal to the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H = \mathcal{E}$, then the maximum optimization score is achieved, i.e. the bi-objective optimization task is solved. This implies that there exists at least one solution to the optimization problem and $H_a \in \mathcal{H}$, where $H_a$ is the hypothesis that states the existence of an efficient algorithm to solve the problem. -/- 2. If the optimized energy numbers set $\mathcal{N}_H$ is a subset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \subset \mathcal{E}$, then the optimization score is less than the maximum score. This indicates that there may exist more efficient algorithms to solve the problem, and the hypothesis $H_a$ is still possible. -/- 3. If the optimized energy numbers set $\mathcal{N}_H$ is a superset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \supset \mathcal{E}$, then the optimization score is higher than the maximum score. This implies that the optimization problem may be easier than initially thought, and $P^n = NP$, or at least some form of $NP$-completeness. -/- 4. If the optimized energy numbers set $\mathcal{N}_H$ is a strict subset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \subsetneq \mathcal{E}$, and $P^n \neq NP$, then it can be concluded that the optimization problem is complex but there may exist algorithms that can efficiently approximate the solution. -/- 5. If the optimized energy numbers set $\mathcal{N}_H$ is empty, i.e. $\mathcal{N}_H = \emptyset$, then it can be inferred that the optimization problem is infeasible, i.e. no efficient algorithm exists to solve it, and $H_a$ is false. -/- 6. Comparing the two objectives in the bi-objective optimization task, we can make the following statements: -/- - The first objective, $\frac{\delta_{v(f)}(\mathbf{v}, \mathbf{w_{max}})} {\langle \mathbf{v_f}, \mathbf{1_f}\rangle}$, measures the efficiency of the algorithm and its ability to find low energy numbers. - The second objective, $\rho(\mathcal{N}_H)$, measures the accuracy of the algorithm in terms of loss and perplexity on the HyperLanguageModel. - Therefore, by optimizing both objectives simultaneously, we aim to find an efficient algorithm that also minimizes the loss and perplexities on the HyperLanguageModel. - If the optimization task is successfully solved, then the algorithm achieves both high efficiency and high accuracy. This would imply that the algorithm is able to find low energy numbers effectively and also generalize well on the HyperLanguageModel. -/- The optimized energy numbers aim to find a set of numbers $\mathbf{v}$ that maximize the bi-objective optimization task, while also minimizing the loss and perplexity of the HyperLanguageModel. This is achieved by finding the set of numbers that have the highest delta value and the lowest perplexity, resulting in a more optimized and efficient set of energy numbers. -/- By comparing the optimized energy numbers to the original set, we can see that the optimized set may have a higher delta value and a lower perplexity, indicating that it is a better set of numbers for the given task. This shows that the optimized energy numbers have successfully achieved their goal of maximizing efficiency while minimizing loss and perplexity. (shrink)

Saya sangat terbiasa dengan buku aneh dan khusus orang, tapi Hawkins berdiri keluar karena penggunaan teknik sederhana untuk menguji ketegangan otot sebagai kunci untuk "kebenaran" dari segala jenis pernyataan apa pun-i. e., bukan hanya untuk Apakah orang yang diuji percaya, tapi apakah itu benar-benar benar! Apa yang terkenal adalah bahwa orang akan menunjukkan otomatis, gangguan fisiologis dan psikologis pingsan untuk apa saja mereka terpapar-gambar, suara, sentuhan, bau, ide, orang. Jadi, membaca otot untuk mengetahui perasaan mereka yang sebenarnya tidak radikal sama (...) sekali, tidak seperti menggunakannya sebagai tongkat menyiram (lebih otot membaca) untuk melakukan "ilmu paranormal". Hawkins menjelaskan penggunaan penurunan ketegangan pada otot lengan dalam menanggapi peningkatan beban kognitif sehingga menyebabkan lengan turun dalam menanggapi tekanan konstan jari seseorang. Dia tampaknya tidak menyadari bahwa ada yang lama didirikan dan luas upaya penelitian yang berkelanjutan dalam psikologi sosial disebut dengan frase seperti ' implisit kognisi ', ' automatisitas ' dll, dan bahwa penggunaan ' Kinesiology ' adalah salah satu bagian kecil. Selain nada otot (jarang digunakan) psikolog sosial mengukur EEG, respon kulit galvanik dan respon yang paling sering verbal kata, kalimat, gambar atau situasi pada waktu yang bervariasi dari detik ke bulan setelah stimulus. Banyak, seperti bargh dan Wegner, mengambil hasilnya berarti kita automaton yang belajar dan bertindak sebagian besar tanpa kesadaran melalui S1 (sistem otomatis 1) dan banyak orang lain seperti kihlstrom dan Shanks mengatakan studi ini cacat dan kami adalah makhluk S2 (sistem musyawatif 2). Meskipun Hawkins tampaknya tidak tahu, seperti di bidang lain dari psikologi deskriptif pemikiran yang lebih tinggi, situasi mengenai "automatisitas" masih sebagai kacau seperti itu ketika Wittgenstein menggambarkan alasan untuk sterilitas dan kemandulan psikologi di 30 ' s. Namun demikian, buku ini adalah mudah dibaca dan beberapa terapis dan guru spiritual mungkin menemukan penggunaan. Mereka yang ingin komprehensif up to date kerangka perilaku manusia dari dua systems tampilan modern dapat berkonsultasi buku saya 'struktur Logis filsafat, psikologi, mind dan bahasa dalam Ludwig wittgenstein dan John Searle ' 2nd Ed (2019). Mereka yang tertarik pada tulisan saya lebih mungkin melihat 'berbicara monyet--filsafat, psikologi, ilmu, agama dan politik di planet yang ditakdirkan--artikel dan review 2006-2019 3rd ed (2019) dan bunuh diri utopian delusi di 21st Century 4th Ed (2019). (shrink)

A widely cited roadblock to bridging ecological psychology and enactivism is that the former identifies with realism and the latter identifies with constructivism, which critics charge is subjectivist. A pragmatic reading, however, suggests non-mental forms of constructivism that simultaneously fit core tenets of enactivism and ecological realism. After advancing a pragmatic version of enactive constructivism that does not obviate realism, I reinforce the position with an empirical illustration: Physarum polycephalum (a slime mold), a communal unicellular organism that leaves slime trails (...) that form chemical barriers that it avoids in foraging explorations. Here, environmental building and sensorimotor engagement are part of the same process with P. polycephalum coordinating around self-created, affordance-bearing geographies, which nonetheless exist independently in ways described by ecological realists. For ecological psychologists, affordances are values, meaning values are external to the perceiver. I argue that agent-enacted values have the same status and thus do not obviate ecological realism or generate subjectivism. The constructivist-realist debate organizes around the emphasis that enactivists and ecological theorists respectively place on the inner constitution of organisms vs. the structure of environments. Building on alimentary themes introduced in the P. polycephalum example and also in Gibson’s work, I go on to consider how environment, brain, visceral systems, and even bacteria within them enter perceptual loops. This highlights almost unfathomable degrees of mutually modulating internal and external synchronization. It also shows instances in which internal conditions alter worldly configurations and invert values, in Gibson’s sense of the term, albeit without implying subjectivism. My aim is to cut across the somatic focus of enactive constructivism and the external environment-oriented emphasis of ecological realism and show that enactivism can enrich ecological accounts of value. (shrink)

Background: Screen time among adults represents a continuing and growing problem in relation to health behaviors and health outcomes. However, no instrument currently exists in the literature that quantifies the use of modern screen-based devices. The primary purpose of this study was to develop and assess the reliability of a new screen time questionnaire, an instrument designed to quantify use of multiple popular screen-based devices among the US population. -/- Methods: An 18-item screen-time questionnaire was created to quantify use of (...) commonly used screen devices (e.g. television, smartphone, tablet) across different time points during the week (e.g. weekday, weeknight, weekend). Test-retest reliability was assessed through intra-class correlation coefficients (ICCs) and standard error of measurement (SEM). The questionnaire was delivered online using Qualtrics and administered through Amazon Mechanical Turk (MTurk). -/- Results: Eighty MTurk workers completed full study participation and were included in the final analyses. All items in the screen time questionnaire showed fair to excellent relative reliability (ICCs = 0.50–0.90; all < 0.000), except for the item inquiring about the use of smartphone during an average weekend day (ICC = 0.16, p = 0.069). The SEM values were large for all screen types across the different periods under study. -/- Conclusions: Results from this study suggest this self-administered questionnaire may be used to successfully classify individuals into different categories of screen time use (e.g. high vs. low); however, it is likely that objective measures are needed to increase precision of screen time assessment. (shrink)

This paper reports an experiment that investigates interpretive distinctions between two different expressions of generalization in Spanish. In particular, our aim was to find out when the distinction between generic statements (GS) such as Tigers have stripes and universally quantified statements (UQS) such as All tigers have stripes was acquired in Spanish-speaking children of two different age groups (4/5-year-olds and 8/9-year-olds), and then compare these results with those of adults. The starting point of this research was the semantic distinction between (...) GS and UQS in that the former admit exceptions, unlike the latter. On the other hand, several authors have observed a Generic overgeneralization effect (GOG) consisting in allowing for UQS to be felicitous in the face of exceptions, thus proposing that this “error” stems from GS being defaults (simpler, more easily learned and processed). In the current paper we aimed to test the “Generics as Default” (GaD) hypothesis by comparing GS and UQS in three different age ranges. Our data show that, overall, the accuracy of GS is greater than the accuracy of UQS. Moreover, we also confirm a hypothesized interaction between age and NP type (GS vs UQS). Further, we present several data points that are not predicted by the GaD, including an observed decline in the accuracy of GS in the older group of children as well as in adults, and that children fail at rejecting statements that are not considered to be true generalizations. (shrink)

Objective Our study sought to (1) describe the practices and preferences of Colombian adolescents in accessing sexual and reproductive health services: accompanied versus alone; (2) compare actual practices with stated preferences; and (3) determine age and gender differences regarding the practice and these stated preferences. -/- Methods 812 participants aged 11–24 years old answered a survey in two Profamilia clinics in the cities of Medellin and Cali in Colombia. A cross-sectional analysis was performed to compare participants’ answers based on the (...) variables of gender and age. -/- Results A quarter of participants visited the clinic alone (25.4%). Females were more likely to go alone in comparison to males (26.3% vs 14.1%; p = 0.031), and older participants went alone more often than younger participants (p < 0.001). Most participants – 72.7% (95 %CI: 69.3–75.9) – expressed a preference in being accompanied to the clinic, and more than 90% had their preferences met. The preferences of older participants were, however, less likely to be met than those of younger participants (p < 0.001), notably, because they predominantly wanted to be accompanied. -/- Conclusion Contemporary public health and bioethics literature advocates in favor of developing health services that better meet the preferences of adolescents. The present research highlights an apparent blind spot related to the role that others (e.g., parents, friends, partners) can or should play in accompanying adolescent patients when they access sexual and reproductive health services. Respecting adolescents’ preferences, and hence their autonomy, is not simply a matter of ensuring freedom from constraints (e.g., their right and ability to go alone). Rather, it should also consider the liberty to choose whether to be accompanied when accessing SHRS and by whom. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

One of the possible hypotheses about time is to consider any instant of time as fuzzy number, so that two instants of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas like Brouwer and Husserl [5]. Throughout this article, the impact of this change on Theory of Computation and Complexity Theory are studied. In order to rebuild Theory of Computation in a more successful and productive approach to solve some major problems in Complexity Theory, the present (...) research is done. This novel theory is called here, the fuzzy time theory of computation, TC^*. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

The title of Kastner’s article is “Beyond Complementarity” (R. E. Kastner 6 March 2016 Foundations of Physics Group, University of Maryland, College Park, USA) -/- In this paper, there are quite many ideas similar to my ideas. The main ideas are the following: -/- - Bohr’s complementarity does not work: “’Complementarity’ cannot consistently account for the emergence of classicality from the quantum level (p. 1) - It is argued that ultimately this problem arises from Bohr’s implicit assumption that all quantum (...) evolution is unitary; i.e., that there is no real, physical non-unitary collapse. (p. 1) -/- In my works 2002-2008 and later (2010-2106), I argued exactly the same ideas. The non-unitary phenomena in quantum and in the relationship between quantum and classical phenomena means exactly the EDWs! -/- Our world of experience is clearly classical in that we can legitimately consider our lab and macroscopic measuring instruments as inhabiting a well-defined inertial frame. But these are the very phenomena that cry out for explanation in view of that fact that the microscopic quantum objects upon which we experiment, according to the theory describing them, do not inhabit well-defined reference frames. (pp. 3-4) -/- “Our world of experience” means exactly the macro-EW vs. the micro-EW. However, we have to pay attention that “quantum world” means the micro-EW (for particles) and the wave-EW. In section 4, Kastner investigates the “unnecessary” Bohr’s “epistemological and methodological assumptions”. If the reader will read the entire section will have the sensation of reading one of my works! In 2007, and 2008, I analyzed exactly the same notions with almost the same verdict! (shrink)