Timeline for Looking for a source for Intended Interpretation
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2016 at 15:23 | comment | added | Mikhail Katz | Will, thanks for an interesting post. Ultrafinitists tend to be more explicit about this. I think statements of the sort I am looking for can be found in the work of both David Isles and Yessenin-Volpin. Of course I would prefer a source in a "standard" logic textbook but if you could provide an explicit source in one of the ultrafinitists that would also be interesting. | |
| Apr 2, 2016 at 15:07 | history | answered | Will Sawin | CC BY-SA 3.0 |