Difference between revisions of "Finiteness assumption in explorable media"
(Created page with "Explorable and interactive media seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mat...") |
|||
| Line 3: | Line 3: | ||
Examples: | Examples: | ||
| − | * | + | * the explorables in https://explorabl.es/math/ |
* [https://www.youtube.com/playlist?list=PL5dr1EHvfwpNYbS_yqCZg30lEnpiEF6O2 The Witness] builds up complex puzzles starting from simple ones. But each puzzle is finite (finite board size, finite state space) | * [https://www.youtube.com/playlist?list=PL5dr1EHvfwpNYbS_yqCZg30lEnpiEF6O2 The Witness] builds up complex puzzles starting from simple ones. But each puzzle is finite (finite board size, finite state space) | ||
| + | |||
| + | The kind of explorable medium that I'm interested in would somehow encode the proof-writing/proof-generating process so the user can do real math. But how do you prove things about e.g. an arbitrary compact metric space? How would you "explore" something that requires a proof by contradiction (which would require representing impossible situations)? | ||
Revision as of 02:16, 20 April 2020
Explorable and interactive media seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mathematics.
Examples:
- the explorables in https://explorabl.es/math/
- The Witness builds up complex puzzles starting from simple ones. But each puzzle is finite (finite board size, finite state space)
The kind of explorable medium that I'm interested in would somehow encode the proof-writing/proof-generating process so the user can do real math. But how do you prove things about e.g. an arbitrary compact metric space? How would you "explore" something that requires a proof by contradiction (which would require representing impossible situations)?
