Realizability - PDFSEARCH.IO - Document Search Engine

Realizability
Results: 90

#	Item
41	PHIL 255 Week 3: Mind=Brain Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2014-01-20 10:27:21 Cognition Nervous system Materialism Dualism Consciousness Type physicalism Brain Multiple realizability Neuron Mind Cognitive science Philosophy of mind
42	PHIL 255 Week 6: Machines Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2014-02-10 09:59:14 Philosophy of artificial intelligence Cognition Alan Turing Functionalism Chinese room Consciousness Multiple realizability Turing test Strong AI Philosophy of mind Cognitive science Mind
43	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
44	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
45	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
46	Principal Research Results Evaluation of Realizability of High-Tc SMES Background Recently, development of high-Tc superconducting wires and tapes is progressing. In particular, it is expected that YBCOcoated conductors Add to Reading List Source URL: criepi.denken.or.jp Language: English - Date: 2008-09-29 03:18:51 High-temperature superconductors Ceramic materials Oxides Superconductivity Levitation Superconducting wire Yttrium barium copper oxide Bismuth strontium calcium copper oxide Coil Chemistry Matter Physics
47	[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-21 10:18:08 Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing
48	Realizability and Parametricity in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-03-04 08:28:39 Type theory Logic in computer science Deduction Mathematical constructivism Realizability Entailment Parametricity Symbol Lambda calculus Logic Mathematical logic Mathematics
49	BOZZE / PROOFS: Prof. Mauro Dorato The Historicization of Nature and the Nomologization of the Mental 243 Add to Reading List Source URL: host.uniroma3.it Language: English - Date: 2010-09-14 09:56:27 Causality Cognitive science Monism Analytic philosophers Anomalous monism Multiple realizability Ceteris paribus Donald Davidson Free will Philosophy Metaphysics Philosophy of science
50	Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium Add to Reading List Source URL: stijnvermeeren.be Language: English - Date: 2010-07-15 09:29:15 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Function Interpretation First-order logic Mathematical logic Mathematics Logic