Proofsmith

the_bayesist

Sobre aquest joc

La majoria d'aplicacions matemàtiques et demanen que triïs una resposta. Proofsmith et demana que argumentis a favor d'una.

Cada nivell et dóna una afirmació per demostrar i quatre passos etiquetats per omplir, no una pàgina en blanc ni una opció múltiple. Escriviu la configuració, el motor que fa la feina, la idea clau específica d'aquest problema i el moviment final que segella l'argument. Redacció de proves real, dividida en una forma que realment puguis controlar.

PER QUÈ ÉS DIFERENT

El qualificador de Proofsmith no només busca les paraules correctes. Omple cada resposta de vocabulari sense cap argument real al darrere i s'adona: això és un problema resolt, no una llacuna. Comprova si la teva demostració es manté unida: si les idees apareixen en un ordre que té sentit, si realment has fet l'argument o només hi has fet un gest. Escriure respostes descuidades, desordenades o plenes de paraules clau et costa, exactament com hauria de costar.

Estàs encallat? "Què em perdo?" et dóna un enigma per a la idea que encara no has entès, no la resposta en si. Encara ho has de resoldre i escriure amb les teves pròpies paraules.

SIS TÈCNIQUES, TOTES LES IMPORTANTS

• Contradicció: assumir el contrari i trencar-lo • Inducció: un cas i després passar-lo a la línia següent • Casos: dividir el problema, cobrir totes les branques • Simetria: resoldre'l una vegada i obtenir la resta gratuïtament • Encasellar: comptar dues coses i comparar-les • Invariant: trobar el que no canvia mai i utilitzar-lo

103 problemes fets a mà en quatre nivells de dificultat, des d'una primera demostració suau fins a material realment difícil: el teorema de Ramsey, la desigualtat de Bernoulli, el problema de la moneda de Frobenius i més que esperen al nivell més difícil.

CONSTRUÏT PER SER HONEST AMB TU

Cada demostració es qualifica completament al teu dispositiu. Res del que escriguis s'envia mai enlloc. Sense compte, sense inici de sessió, sense anuncis, sense seguiment, sense anàlisis. Juga fora de línia, per sempre, mentre l'aplicació estigui al teu telèfon.

Les estrelles augmenten amb la dificultat i sempre tens una pista a un toc de distància si estàs encallat; costa una estrella, així que és una elecció real, no gratuïta. Les fitxes de frases amb el botó d'inserir i una fila de símbols signifiquen que mai no hauràs d'escriure notacions matemàtiques des de zero.

Gratuït per començar. Dos desbloquejos opcionals d'un sol ús (cada nivell de dificultat o cada pista) per a qualsevol que vulgui saltar-se la rutina. No cal res per continuar jugant.

Aquí no resols problemes. Construeixes proves.