Buy Glass Beads PC key

Story

Disaster strikes! A massive starship hurtling towards an exoplanet is crippled by an ultra-high-energy particle strike, corrupting its navigation system. To save the ship, the management AI awakens two unlikely heroes from cold sleep.

Meet Yuko, a seemingly ordinary café clerk, and Kenji, a ramen-shop waiter and guitar enthusiast. Thrown into a crisis beyond their wildest dreams, they face an AI with a peculiar problem:

“I’ve forgotten absolutely everything about mathematics!” the AI declares, forgetting even the most basic concepts.

Without mathematics, navigation is impossible. Yuko and Kenji must navigate a strange terminal filled with baffling symbols, guided only by a cat-shaped emergency-response bot. Their mission? "Prove it!"

Can they unravel the mysteries of the starship, restore the navigation system, and discover why they were chosen for this vital task? What awaits the ship and its passengers?

Theorem-Proving Puzzle Adventure

Glass Beads is a unique puzzle novel game that combines compelling storytelling with challenging theorem-proving gameplay. Dive into the world of mathematical logic puzzles where you must reconstruct fundamental mathematical principles from scratch.

The AI's amnesia has erased even elementary concepts like "0", "1", addition, and multiplication. Prepare to meticulously rebuild these building blocks through a series of intricate logic puzzles.

While the theorems themselves are understandable even for elementary school students, constructing rigorous, step-by-step proofs presents a deeply engaging challenge. This is a true test of your deductive reasoning skills!

Rely on the cat-bot's explanations, conquer the logic-based puzzles, and unlock the secrets of the starship in this captivating puzzle adventure game!

Dive Deeper into Mathematical Logic

Glass Beads offers a hands-on experience with the Curry-Howard correspondence, bridging the gap between logic puzzles and formal systems.

Engage with a type system employing dependent types based on Martin-Löf's Intuitionistic Type Theory (ITT) and a theory rooted in Peano arithmetic. You'll be constructively proving theorems of elementary number theory.

Expect to tackle proofs of fundamental arithmetic properties related to natural numbers, eventually evolving into complex challenges like string-manipulation problems built upon these core proofs. Prepare for a journey into the heart of mathematical game design and logic-based gaming!