[FOM] speaking of provability logic

[jkennedy at mappi.helsinki.fi]

Thanks to you and Karel for your informative answers!

All the Best,

Juliette


Quoting "Giovanni Sambin" <sambin at math.unipd.it>:

> Dear Juliette,
> the content of that paper appears also in Boolos' book "The logic of  
> provability".  I recall that George Boolos was satisfied with this  
> piece of work by his student Lisa Reidhaar-Olson. In fact, she  
> provides a proof of the fixed point theorem which makes use of  
> Kripke  semantics, which George considered clearer than  my own  
> original syntactic proof.
> This is only a little remembrance from the past. I have no idea  
> about what happens nowadays.
> All the best,
> Giovanni
>
>
>
>
> On 5/19/12 10:08 PM, jkennedy at mappi.helsinki.fi wrote:
>>
>> Dear Colleagues,
>>
>> Speaking of provability logic, does anyone know about this paper?
>>
>> A new proof of the fixed-point theorem of provability logic.
>>
>> Lisa Reidhaar-Olson
>> Source: Notre Dame J. Formal Logic Volume 31, Number 1 (1989), 37-43.
>>
>> Do people in provability logic nowadays make use of the result in any way?
>>
>> All the best,
>>
>> Juliette Kennedy
>>
>>
>>
>> Quoting "Richard Heck" <rgheck at brown.edu>:
>>
>>> On 05/17/2012 06:19 PM, Craig Smorynski wrote:
>>>> Aatu Koskensilta quoted me on the issue of who first realised  
>>>> that Löb's Theorem for a theory T is equivalent to the Second  
>>>> Incompleteness Theorem for all finite extensions of T to the  
>>>> effect that I side with Boolos in crediting Kripke.
>>>> [snip]
>>>> In any event, there was Boolos's crediting Kripke, which I wrote  
>>>> to him about, feeling it smacked more of hero-worship than  
>>>> scholarship.
>>>>
>>> George wasn't really one to worship heroes, though he and Kripke  
>>> were good friends, having first met, I believe, in Oxford in  
>>> 1962-63.
>>>
>>> Many years ago now, George and I were having lunch at a restaurant  
>>> in Harvard Square, One Potato, Two Potato, which is now gone.  
>>> George told  me that it was at the very table at which Gerald  
>>> Sacks and Burt Dreben then happened to be sitting, not far from  
>>> us, that Kripke had showed him this argument in 1966, and that it  
>>> was in large part that conversation that had sparked his interest  
>>> in provability logic.
>>>
>>> Richard Heck
>>>
>>>
>>>
>>> _______________________________________________
>>> FOM mailing list
>>> FOM at cs.nyu.edu
>>> http://www.cs.nyu.edu/mailman/listinfo/fom
>>>
>>
>>
>>
>
>



-- 
Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400
http://www.helsinki.fi/science/logic