%PDF-1.7
%
2 0 obj
<<
/Type /Catalog
/Pages 4 0 R
/Metadata 5 0 R
/PageLayout /TwoPageLeft
/ViewerPreferences <<
/HideMenubar true
/HideToolbar true
>>
>>
endobj
5 0 obj
<<
/Type /Metadata
/Length 3454
/Subtype /XML
>>
stream
2021-12-01T16:54:20+01:00
2021-12-06T14:56:41+01:00
Microsoft: Print To PDF
Craig Smorynski: Hilbert's Programme, CWI Quarterly 1988
application/pdf
Remarks on Smorynski
Jan Urbánek
Handout to a talk given in Nov 2021 as a part of the course Interpretations of Gödel theorems
Craig Smorynski: Hilbert's Programme, CWI Quarterly 1988
endstream
endobj
14 0 obj
<<
/Filter [/FlateDecode]
/Length 2983
>>
stream
x]6aH@"$UH{Y8Z~ԈVg["3VN^2g(ƼG?ҿ^?Eat\1[ۅ_yZHƅ0]F\k~yL/mzːVو=T&CsoWӍ%iВ=ķ5
:1\rbdt#
ey!,H2)70(:1J96ts3!d&31hRn0d / h+:us )Op2Qcw
H`
*jkb;K
2C(V-2wb-eL<^؉ސigְqBRHOhE#j3gT$d;r\~21&F^\rF!j3T#0wepJQIF̄kӶ(ceCe,_@LM[