Difference between revisions of "Finiteness assumption in explorable media"

From Issawiki
Jump to: navigation, search
(See also)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
'''Video games work with finite and discrete objects'''. Explorable and interactive media (especially [[explorable explanation]]s) seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mathematics.
+
'''Video games work with finite and discrete objects'''. Explorable and interactive media (especially [[explorable explanation]]s) seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mathematics. An extremely common move in a math proof is to say "Let x be an arbitrary element of X" where X is some class of objects of interest, typically infinite. There is no obvious way to allow "moves" like this in a game.
  
 
Examples:
 
Examples:
Line 7: Line 7:
  
 
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)?
 
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)?
 +
 +
The tricky thing about math is that you regularly have to deal with infinity, i.e. you need to figure out how to draw objects (such as sequences) which are not finitely representable. You could retreat to finite objects in fields like [[Probability and statistics as fields with an exploratory medium|combinatorics]] i think, but it feels more satisfying to come up with a general solution that would work in any field.
  
 
==See also==
 
==See also==
Line 12: Line 14:
 
* [[Video games comparison to math]]
 
* [[Video games comparison to math]]
 
* [[Probability and statistics as fields with an exploratory medium]]
 
* [[Probability and statistics as fields with an exploratory medium]]
 +
* [[Representing impossibilities]]
 +
 +
==What links here==
 +
 +
{{Special:WhatLinksHere/{{FULLPAGENAME}} | hideredirects=1}}
  
 
[[Category:Learning]]
 
[[Category:Learning]]

Latest revision as of 00:46, 17 July 2021

Video games work with finite and discrete objects. Explorable and interactive media (especially explorable explanations) seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mathematics. An extremely common move in a math proof is to say "Let x be an arbitrary element of X" where X is some class of objects of interest, typically infinite. There is no obvious way to allow "moves" like this in a game.

Examples:

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)?

The tricky thing about math is that you regularly have to deal with infinity, i.e. you need to figure out how to draw objects (such as sequences) which are not finitely representable. You could retreat to finite objects in fields like combinatorics i think, but it feels more satisfying to come up with a general solution that would work in any field.

See also

What links here