Neste post da comunidade, quero colocar links para alguns jogos altamente envolventes e ambientes interativos (disponíveis gratuitamente) que ajudam as pessoas a explorar conceitos sofisticados tanto em programação quanto em matemática. Se você conhece algum outro lugar divertido para visitar, basta postar abaixo. Divirta-se! Lean: Uma coleção de quebra-cabeças de programação altamente envolventes que ajudam você a aprender como a matemática é provada e formalizada. Você nunca verá da mesma forma a dificuldade de 5*7=7*5 novamente. NandGame: Você cria seu próprio processador do zero (até mesmo o NAND é feito de circuitos mais simples). Altamente viciante e super divertido! Quantum Flytrap: Aqui é onde você finalmente terá alguma compreensão das computações quânticas. Colorido, ilimitado, envolvente e matematicamente muito profundo. Scratch: Aprenda programação de forma divertida. Euclidea: Aprenda a realizar construções com régua e compasso. Era parte da educação escolar, mas agora é um aplicativo. Divertido e muito informativo. Planarity: Tente encontrar uma incorporação de gráfico que mostre que ele é de fato planar. Golly: O explorador definitivo de autômatos celulares. Se você quiser se aprofundar: SageMath: É um poderoso sistema de álgebra computacional com sintaxe Python. É ideal para cursos e a sintaxe do SageMath está muito mais próxima do discurso matemático regular. Gosto de ensinar cursos com SageMath. GeoGebra: Você pode fazer provas, cálculos e applets interativos. É uma maneira divertida de aprender muitos aspectos diferentes da matemática de graduação. Wolfram Demonstration Projects: Uma coleção de applets matemáticos que podem ajudá-lo a entender tópicos muito sofisticados. Você não precisa do Mathematica para executar, mas precisa dele para projetar seus próprios applets. The Mechanics of Proof (por Heather Macbeth): É um livro com um repositório interativo no GitHub onde você pode aprender de forma mais abrangente a estrutura e a sintaxe do Lean. An Illustrated Theory of Numbers (por Martin H. Weissman): Este é um livro didático sobre teoria dos números elementar com aplicações. E essas aplicações estão disponíveis no site como uma coleção de Jupyter Notebooks gratuitos que ensinam os conceitos-chave. Graphical Linear Algebra: Uma maneira ilustrada e, até certo ponto, interativa de aprender conceitos profundos em álgebra. HomotopyContinuation.jl: Esta é uma maneira incrivelmente bonita e interativa (com Julia) de aprender algumas ideias altamente complexas da geometria algébrica (componentes conectados, método de continuação de homotopia) e com aplicações a sistemas algébricos muito especiais que vêm de aplicações. Você pode aprender Julia no caminho. Mathamaze: É uma experiência de Helena Verrill. Geometria bonita, azulejos, padrões. Simplesmente maravilhoso. Difícil de explicar: n: o caminho do ninja: Se você acha que a matemática é difícil. Aprenda a paciência da maneira difícil. Aviso: altamente viciante. HyperRogue: Você pode aprender geometria hiperbólica em um ambiente rogue-like.