Pro ty, kdo chtějí vidět příklad "cizí matematiky": zde je jeden z nekonečné třídy "logicky podobných" systémů, s axiomy podobnými (ale ne ekvivalentními) těmi operátoru NAND a větami stejně bohatými. Vpravo je příklad "logicky" podobné věty.

Na mé matriculační večeři v Cambridge jsem seděl vedle sedmdesátníka s doživotním stipendistou fyziky (přišel na vysokou školu jako bakalář a nikdy neodešel). Ptal jsem se na jeho výzkum. Řekl mi o "nedávné práci", kterou napsal o rozpadu kaonů. Po večeři jsem si to vyhledal. Vydáno 1976.

Zde je důležitá otázka, se kterou se musíme stále více vypořádat, protože pipeline AI-for-Mathematics se stávají běžnějšími: Proč nám záleží na řešení těžkých problémů? Téměř vždy je odpověď *ne* proto, že bychom si obzvlášť přeli vyřešit těžký problém. (1/12)