Jan Smith

Professor Emeritus at Computing Science

My main research areas are logic and type theory. Recently I have become interested in consciousness and how it emerged in the biological evolution. There are new results in this area which I think very clearly shows that an AI-system will never be conscious irrespectively how complex it may be.

Source: chalmers.se

Contact Details

Image of Jan Smith

Publications (6)
Projects (0)

Showing 6 publications

2012

Evolution and Logic

Jan Smith

P. Dybjer et al. (eds.), Epistemology versus Ontology. Logic, Epistemology, and the Unity of Science 27. Springer Science+Business Media Dordrecht 2012, p. 129-138

Book chapter

2003

Inductively generated formal topologies

Thierry Coquand, G. Sambin, Jan Smith et al

Annals of Pure and Applied Logic. Vol. 124 (1-3), p. 71-106

Journal article

2000

Types for Proofs and Programs - nternational Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, Vol. 1956)

Thierry Coquand, Peter Dybjer, Bengt Nordström et al

Edited book

2000

Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan Smith

Handbook of Logic in Computer Science. Vol. 5

Book chapter

1995

Types for proofs and programs: selected papers; International workshop TYPES ´94; Båstad, Sweden, June 6 -10, 1994 (Lecture Notes in Computer Science; Vol 996)

Peter Dybjer, Bengt Nordström, Jan Smith

Edited book

1990

Programming in Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan Smith

Book

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Jan Smith participates, but you have to be logged in as a Chalmers employee to see them.

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

Message

Your email address

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Citation Style Language
citeproc-js (Frank Bennett)

Chalmers Library

Chalmers Research

Chalmers Student Theses

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE