Process categories: the metaphysics, methodology & mathematics, philosophy of nature and process philosophy [PDF]
, 2009 To apply the metaphysical methodology of mathematics to the logic and form of process in natural philosophy requires a metaphysics above modelling, a methodology more than method and a mathematics beyond the set based topics of arithmetic, algebra ...
Heather, Michael, Rossiter, Nick
core
, 2006 "[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868. Proofs are traditionally syntactic, inductively generated objects.
Hughes, Dominic
core +4 more sources
Quotient completion for the foundation of constructive mathematics [PDF]
, 2013 We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
Collector\u27s Corner, Round 5 [PDF]
, 2011 Martin Gardner\u27s 300th article for Scientific American appeared in their August, 1998 issue (Cover: New Thinking about Back Pain). It\u27s title A Quarter-Century of Recreational Mathematics, highlights Gardner\u27s 297 Mathematical Games columns ...
Farrell, Jeremiah
core +2 more sources
The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out [PDF]
, 2016 Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the
Milkov, Nikolay
core
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
, 2008 In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources
A Coding Theoretic Study on MLL proof nets
, 2010 Coding theory is very useful for real world applications. A notable example is digital television. Basically, coding theory is to study a way of detecting and/or correcting data that may be true or false. Moreover coding theory is an area of mathematics,
Girard +4 more
core +1 more source
Eksperimentasi Model Pembelajaran Kooperatif Tipe Group Investigation (Gi), Think Pair Share (Tps), Dan Pembelajaran Langsung Pada Materi Aljabar Ditinjau Dari Kecerdasan Majemuk Siswa SMP Negeri Se-kota Surakarta Tahun Pelajaran 2015/2016 [PDF]
, 2016 This research aimed to find out: 1) which one providing better mathematics learning achievement: Group Investigation (GI) model, Think Pair Share (TPS) model, or direct instructional model, 2) which one providing better mathematics learning achievement:
Budiyono, B. (Budiyono) +2 more
core
What is a logical diagram? [PDF]
, 2011 Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g.
Legg, Catherine
core