Peter Smith

less info

network profile

424 reputation

1

bio	website	logicmatters.net
	location	Cambridge, United Kingdom
	age
visits	member for	6 months
	seen	Apr 17 at 14:40
stats	profile views	10

Recently retired Cambridge philosophy lecturer, interested in logic and philosophy of maths.

For more about me, see http://www.logicmatters.net/about/

summary answers questions tags badges favorites bounties reputation activity

6 Answers

votes activity newest

5	Where is a good place to start reading about logic?
5	What's the big deal with Gödel's second incompleteness theorem?
5	Equivalent assertion
4	How does “higher-order logic” differ from “normal” (first order?) predicate logic?
3	What does the type theory in the Principia Mathematica and that of contemporary logic have in common?

view more

424 Reputation

+35	Interpreting Non-Deontic Formulas in Deontic Logics
+65	Where is a good place to start reading about logic?
+10	What does the type theory in the Principia Mathematica and that of contemporary logic have in common?
+10	What's the big deal with Gödel's second incompleteness theorem?

view more

0 Questions

votes activity newest

This user has not asked any questions

6 Tags

24 logic × 6	4 formal-theory
5 godel	4 philosophy-of-mathematics
5 reference-request	3 bertrand-russell

3 Accounts

$Mathematics Stack Exchange$	Mathematics	11,609 rep	11131
	Philosophy	424 rep	1
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	165 rep	3

1 Badge

recent class name

Teacher

0 Active bounties

active offered earned

This user has no active bounties

0 Votes Cast

This user has not cast any votes

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.24.702