FW: Consistent ultrafinitist logic
11 views
Skip to first unread message
Kreinovich, Vladik
Feb 13, 2022, 11:07:45 AM2/13/22
to construc...@googlegroups.com
FYI
-----Original Message-----
From: Michał J Gajda [mailto:mjg...@gmail.com]
Sent: Sunday, February 13, 2022 7:33 AM
... my modest attempt at a simple ultrafinitist logic that allows one to only ever state problems that are decidable by explicit bounds.
--
Best regards
Michał
-----Original Message-----
From: Michał J Gajda [mailto:mjg...@gmail.com]
Sent: Sunday, February 13, 2022 7:33 AM
... my modest attempt at a simple ultrafinitist logic that allows one to only ever state problems that are decidable by explicit bounds.
--
Best regards
Michał
Reply all
Reply to author
Forward
0 new messages