Results 61 to 70 of about 627,992 (144)
Experiments with proof plans for induction [PDF]
, 1991 The technique of proof plans, is outlined. This technique is used to guideautomatic inference in order to avoid a combinatorial explosion. Empirical research to test this technique in the domain of theorem proving by mathematical induction is described ...
Bundy, Alan +9 more
core +1 more source
Law as the Continuation of God by Other Means
Теоретическая и прикладная юриспруденцияIntroduction: This paper analyzes the formal structure of argumentation in contemporary legal theory. It traces how secular legal scholars, in their efforts to substantiate the existence of a “desired X” (such as legal objectivity, the autonomy of the ...
P. Schlag
doaj
We develop a category-theoretic model of quantum spacetime in which every nontrivial structural claim—from the perfect primordial symmetry to the terminal manifold involution—is established exclusively by contradiction. Within a Grothendieck topos equipped with a Heyting algebra of truth values, we posit seven axioms: an originating functor from a null‑
openaire +1 more source
Foundational Proof Certificates
, 2015 International audienceConsider a world where exporting proof evidence into a well defined,universal, and permanent format is taken as "feature zero" forcomputational logic systems.
Miller, Dale
core +2 more sources
, 2021 In this article, I develop a metaphysical account of final causes grounded on contemporary powers metaphysics. After having presented some key elements of an Aristotle-inspired teleology, i.e., the study of final causes within Aristotelian tradition, I ...
Paolini Paoletti, Michele
core
, 2008 an inference rule with which it might be inferred. We also may need to determine exactly how the conclusion of the rule matches the judgment. For example, in the R rule we need to decide how to split the linear hypotheses between the two premises ...
Proof Search Linear
core
Student teachers' conceptions of mathematical proof
, 1997 The successful teaching of mathematical proof depends crucially on the subject knowledge of mathematics teachers. Yet the knowledge that teachers have of mathematics has become a matter of major concern in both pre-service and in-service teacher ...
Keith Jones, Jones, Keith
core +1 more source
Proof Planning and Configuration [PDF]
, 1996 This paper presents two configuration problems: that of configuring computer hardware to meet a given specification, and an “engineer-and-made-to-order” problem in the domain of breathing air compressor production.
Bundy, Alan, Pechouchek, M., Lowe, H.
core
, 2009 In this paper we report on our analysis of textbooks commonly used for teaching students about proof in geometry in lower secondary school in Japan. From our analysis we found that, as expected from the curriculum specification, deductive reasoning is ...
Kunimune, Susumu +2 more
core +1 more source
Are formal explanations mere placeholders or pointers? [PDF]
Cognition, 2023 Rivera S, Prasad S, Prasada S.
europepmc +1 more source