Proofsmith

the_bayesist

Om dette spil

De fleste matematikapps beder dig om at vælge et svar. Proofsmith beder dig om at argumentere for ét.

Hvert niveau giver dig et beviskrav og fire mærkede trin at udfylde – ikke en blank side og ikke multiple choice. Du skriver opsætningen, den motor, der udfører arbejdet, den vigtigste indsigt specifikt for det pågældende problem, og det afsluttende træk, der forsegler argumentet. Ægte korrekturskrivning, opdelt i en form, du rent faktisk kan få styr på.

HVORFOR DET ER ANDERLEDES

Proofsmiths karaktergiver scanner ikke bare efter de rigtige ord. Fylder hvert svar med ordforråd uden et rigtigt argument bagved, og den bemærker det – det er et løst problem her, ikke et smuthul. Den kontrollerer, om dit bevis holder sammen: om ideerne vises i en rækkefølge, der giver mening, om du rent faktisk har fremført argumentet eller bare gestikuleret på det. At skrive sjuskede, rodede eller nøgleordsfyldte svar koster dig, præcis som det burde.

Sidder du fast? "Hvad overser jeg?" giver dig en gåde for den idé, du ikke har fundet endnu – ikke selve svaret. Du skal stadig regne det ud og skrive det med dine egne ord.

SEKS TEKNIKKER, HVER DE VIGTIGSTE

• Modsigelse — antag det modsatte, og bryd det • Induktion — ét tilfælde, og send det derefter videre • Tilfælde — opdel problemet, dæk hver gren • Symmetri — løs det én gang, få resten gratis • Bås — tæl to ting og sammenlign dem • Invariant — find det, der aldrig ændrer sig, og brug det

103 håndbyggede problemer på tværs af fire sværhedsgrader, fra et blidt første bevis til ægte svært materiale — Ramseys sætning, Bernoullis ulighed, Frobenius-møntproblemet og mere venter i det sværeste niveau.

BYGGET TIL AT VÆRE ÆRLIG OVER FOR DIG

Hvert bevis bedømmes udelukkende på din enhed. Intet, du skriver, sendes nogensinde nogen steder hen. Ingen konto, intet login, ingen annoncer, ingen sporing, ingen analyser. Spil offline, for evigt, så længe appen er på din telefon.

Stjerner skalerer med besvær, og et hint er altid et tryk væk, hvis du sidder fast – det koster en stjerne, så det er et reelt valg, ikke en gratis ting. Tryk-for-at-indsætte frasechips og en symbolrække betyder, at du aldrig behøver at skrive matematisk notation fra bunden.

Gratis at starte. To valgfrie engangsoplåsninger – hvert sværhedsniveau eller hvert hint – for alle, der vil springe over det slidte. Intet er nødvendigt for at fortsætte med at spille.

Du løser ikke problemer her. Du bygger beviser.