Идея всё объяснять, разбив на элементарные логические операции и понятия, для каждых из которых можно сделать визуализацию или найти физический/бытовой аналог давно посещала. Наконец кто-то реализовал близкую концепцию, это круто. Выглядит всё очень красиво, но как уже упомянули, интерфейс сложноват, а объяснить теорему Пифагора оно так и не смогло (всё закончилось фразой "аддитивность евклидовых фигур", почему она справедлива - непонятно). То есть в доказательство теоремы оно не сумело, хотя в карточке на карте даже есть фраза "теорема доказана". Может я не раскопал что-то в интерфейсе, но даже "разбор от ии" вразумительного добавить не смог.
Идея всё объяснять, разбив на элементарные логические операции и понятия, для каждых из которых можно сделать визуализацию или найти физический/бытовой аналог давно посещала. Наконец кто-то реализовал близкую концепцию, это круто. Выглядит всё очень красиво, но как уже упомянули, интерфейс сложноват, а объяснить теорему Пифагора оно так и не смогло (всё закончилось фразой "аддитивность евклидовых фигур", почему она справедлива - непонятно). То есть в доказательство теоремы оно не сумело, хотя в карточке на карте даже есть фраза "теорема доказана". Может я не раскопал что-то в интерфейсе, но даже "разбор от ии" вразумительного добавить не смог.