Notes by RBJ on
Concept Calculus: Much Better Than
by Harvey Friedman
Overview
Friedman, after forty years of concentration (though not exclusive) on a program to make more conspicuous to mathematicians the importance of mathematical logic in general and the implications of the Gödel incompleteness results, has unleashed himself to attempt some work which he hopes (expects perhaps) will have a broader signficance.
A few words on the nature of my interest in this material.

Introduction
A few words on the nature of my interest in this material.
In Common

Friedman and I have one thing in common, which is a belief in the fundamental importance of the theory of well-founded sets. We both belief that its signficance is not only in mathematical logic, nor even in mathematics, but also for philosophy and for many other disciplines.

I don't however see much in common in our conceptions of what the importance of set theory is.

I would describe Harvey's conception as being about what I would call "proof theoretic strength" perhaps better "consistency strength", but which Harvey might call "interpretive power", and I agree that this is one of the important things which is supplied uniquely well by set theory.


up quick index © RBJ

privacy policy

Created:2009/11/21

$Id: friedmanharvey2009b.xml,v 1.1 2009/11/01 16:53:45 rbj Exp $

V