Difference between revisions of "Explorable explanation"
| (10 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
Some claims I want to make/opinions I have: | Some claims I want to make/opinions I have: | ||
| − | * [[Finiteness assumption in explorable media|Explorable explanations have an assumption of finiteness]]. But in math, you most often deal with ''arbitrary'' objects of a class, infinities of various sorts, impossible situations (such as within a proof by contradiction), and other non-finite things. | + | * [[Finiteness assumption in explorable media|Explorable explanations have an assumption of finiteness]]. But in math, you most often deal with ''arbitrary'' objects of a class, infinities of various sorts, [[Representing impossibilities|impossible situations]] (such as within a proof by contradiction), and other non-finite things. How the heck do you reliably import and talk about these various infinities/impossibilities within the explorable explanations framework? |
* Existing explorable explanations are created by searching for things that are most conveniently represented in an explorable format, rather than searching for the most important things to explain and then trying very hard to represent it in an explorable format. This means that explorable explanations often feel gimmicky or unimportant. [[The Witness]] is beautiful and poignant, but at the end of the day, you're just drawing squiggly lines on panels to solve puzzles with artificial(=of no importance to anything whatsoever) rules. | * Existing explorable explanations are created by searching for things that are most conveniently represented in an explorable format, rather than searching for the most important things to explain and then trying very hard to represent it in an explorable format. This means that explorable explanations often feel gimmicky or unimportant. [[The Witness]] is beautiful and poignant, but at the end of the day, you're just drawing squiggly lines on panels to solve puzzles with artificial(=of no importance to anything whatsoever) rules. | ||
* Explorable explanations are often non-verbal? This is an interesting property, but it makes it tricky to use for ''inherently verbal'' subjects like mathematical logic. | * Explorable explanations are often non-verbal? This is an interesting property, but it makes it tricky to use for ''inherently verbal'' subjects like mathematical logic. | ||
| + | * Explorable explanations as doing the legwork of the kind of boring/tedious intellectual work that mathematicians have to do manually -- for example, setting up the proof, doing the low-level computations to make sure one has done a particular computation correctly, etc. I'm especially excited about using these tools was ways to practice choosing high-level proof tactics. | ||
| + | * Few explorable explanations build up complicated concepts from simpler ones using a progression of puzzles. I can only think of video games that do this. I think this lack of "serial depth" makes explorable explanations seem gimmicky/not central to understanding a subject. | ||
| + | |||
| + | twitter thread: https://twitter.com/sliminality/status/1495527059011289090 | ||
| + | |||
| + | ==See also== | ||
| + | |||
| + | * [[Video games comparison to math]] | ||
| + | * [[Probability and statistics as fields with an exploratory medium]] | ||
| + | * [[Narrow vs broad cognitive augmentation]] | ||
==External links== | ==External links== | ||
* [[wikipedia:Explorable explanation]] | * [[wikipedia:Explorable explanation]] | ||
| + | |||
| + | ==What links here== | ||
| + | |||
| + | {{Special:WhatLinksHere/{{FULLPAGENAME}} | hideredirects=1}} | ||
| + | |||
| + | [[Category:Learning]] | ||
Latest revision as of 19:00, 3 July 2022
Some claims I want to make/opinions I have:
- Explorable explanations have an assumption of finiteness. But in math, you most often deal with arbitrary objects of a class, infinities of various sorts, impossible situations (such as within a proof by contradiction), and other non-finite things. How the heck do you reliably import and talk about these various infinities/impossibilities within the explorable explanations framework?
- Existing explorable explanations are created by searching for things that are most conveniently represented in an explorable format, rather than searching for the most important things to explain and then trying very hard to represent it in an explorable format. This means that explorable explanations often feel gimmicky or unimportant. The Witness is beautiful and poignant, but at the end of the day, you're just drawing squiggly lines on panels to solve puzzles with artificial(=of no importance to anything whatsoever) rules.
- Explorable explanations are often non-verbal? This is an interesting property, but it makes it tricky to use for inherently verbal subjects like mathematical logic.
- Explorable explanations as doing the legwork of the kind of boring/tedious intellectual work that mathematicians have to do manually -- for example, setting up the proof, doing the low-level computations to make sure one has done a particular computation correctly, etc. I'm especially excited about using these tools was ways to practice choosing high-level proof tactics.
- Few explorable explanations build up complicated concepts from simpler ones using a progression of puzzles. I can only think of video games that do this. I think this lack of "serial depth" makes explorable explanations seem gimmicky/not central to understanding a subject.
twitter thread: https://twitter.com/sliminality/status/1495527059011289090
See also
- Video games comparison to math
- Probability and statistics as fields with an exploratory medium
- Narrow vs broad cognitive augmentation
