De in 1881 geboren schoolmeesterszoon L.E.J. Brouwer bleek een uitzonderlijk, origineel wiskundig genie te zijn. In de jaren tussen zijn promotie en de Eerste Wereldoorlog introduceerde hij revolutionaire methoden in de topologie, waaraan hij fundamentele resultaten en noties (onder andere dekpuntsstelling, afbeeldingsgraad, dimensiebegrip) toevoegde. Na 1918 werkte hij voor de wiskunde een nieuw intuïtionistisch programma uit, dat heftig bestreden werd door de formalist Hilbert. De zogenaam...

De onderwerpen van dit boek vormen een onderdeel van de discrete wiskunde of de combinatoriek. Deze spelen onder meer in de informatica een belangrijke rol. Eerst komen de telproblemen en voortbrengende functies aan de orde, waarna partities en recurrente betrekkingen besproken worden. Verder worden M

Dit boek bevat negen logische puzzels. Al deze puzzels gaan over wat jij weet over wat een ander weet. Het zijn kennispuzzels. Dit leidt tot schijnbaar tegenstrijdige formuleringen, waarin iemand door te zeggen dat hij of zij iets niet weet, uiteindelijk toch kan leren dat hij of zij het wel weet. Dit soort puzzels hebben aan de wieg gestaan van de ontwikkeling van de kennislogica en van de logica van kennisverandering. Deze modale logica's worden sinds enige tientallen jaren gebruikt in vakg...