Results 51 to 60 of about 2,046,692 (239)
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Mathematical and Computer Modelling, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Feng Liu 0029 +2 more
openaire +1 more source
Reasoned modelling critics: turning failed proofs into modelling guidance
, 2011 The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose
Gudmund Grov +8 more
core +1 more source
Semantic pollution and syntactic purity [PDF]
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen, Read, Stephen; id_orcid
core +1 more source
FEBS Open Bio, EarlyView.Life‐science educators from 14 countries redesigned their own course materials with generative AI in a three‐session, pedagogy‐first FEBS Education and Training Academy workshop built on PICRAT. Among 12 matched respondents, four more reported high confidence in each of five practical domains, and 10 of 13 reported implementing at least one idea ...
Zvonimir Mlinarić, Ali Burak Özkaya
wiley +1 more source
Lakatos and Hersh on Mathematical Proof
Journal of Philosophical Investigations, 2015 The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant ...
Hossein Bayat
doaj
Students Thinking Process in Compiling Mathematical Proof with Semantics Strategy
Jurnal Pendidikan Sains, 2015 Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy.
Abdussakir Abdussakir
doaj +1 more source
A Formalization and Proof Checker for Isabelle’s Metalogic
Journal of Automated Reasoning, 2022 AbstractIsabelle is a generic theorem prover with a fragment of higher-order logic as a metalogic for defining object logics. Isabelle also provides proof terms. We formalize this metalogic and the language of proof terms in Isabelle/HOL, define an executable (but inefficient) proof term checker and prove its correctness w.r.t. the metalogic.
Simon Roßkopf, Tobias Nipkow
openaire +3 more sources
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi +8 more
wiley +1 more source
Sentidos primitivos de la demostración en la formación de profesores
Revista Científica, 2011 he first emerging meanings of the proof process, given by a group of five prospective teachers is studied in the context of real numeric continuum. The metodology is a teaching experiment of a six month long.
ARTURO SANJUAN +2 more
doaj