منابع مشابه
Ivor Grattan - Guinness ARE OTHER LOGICS POSSIBLE ?
By the mid-1900s Hugh MacColl had published enough in the way of papers and notes on logic that a more connected presentation could be made. Accordingly, he reworked several items into a book published in 1906 and entitled Symbolic Logic and its Applications. In this paper I comment on some main features of the book and note reactions to it at the time, especially by Russell. Consequences of hi...
متن کاملWaves in Guinness
We describe a simple model of a bubbly two-phase flow which is able to explain why waves propagate downward when a pint of Guinness is poured, and also how the waves are generated. Our theory involves a physically based regularization of the basic equations of the two-phase flow, using interphasic pressure difference and virtual mass terms, together with bulk or eddy viscosity terms. We show th...
متن کاملIvor, a Proof Engine
Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...
متن کاملOwen Holland Editorial
In May 2001, the Swartz Foundation sponsored a workshop called ‘Can a machine be conscious?’ at the Banbury Center in Long Island (http://www. swartzneuro.org/banbury_2001.cfm). Around twenty psychologists, computer scientists, philosophers, physicists, neuroscientists, engineers, and industrialists spent three days in a mixture of short presentations and long and lively discussions. At the end...
متن کاملSyntactic analogies and impossible extensions
Mathematicians study shapes, structures and patterns. However, there are shapes, structures and patterns within the body and practice of mathematics that are not the direct objects of mathematical study. Rather, they are part of the explanation of how mathematical study is possible, and thus demand the attention of epistemologists and phenomenologists as well as mathematicians. Partial philosop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Science
سال: 2015
ISSN: 0003-3790,1464-505X
DOI: 10.1080/00033790.2015.1034782