Bewijzen met computers
Een oud wiskundig bewijs is nu opnieuw uitgevoerd door wetenschappers van Microsoft Research. Interessant, omdat het bewijs dat ze nu hebben gegeven volledig met een computer gecontroleerd kan worden.
Een oud wiskundig bewijs is nu opnieuw uitgevoerd door wetenschappers van Microsoft Research. Interessant, omdat het bewijs dat ze nu hebben gegeven volledig met een computer gecontroleerd kan worden.
Er zijn verschillende manieren om te bewijzen dat er oneindig veel priemgetallen bestaan. De Canadees Idris Mercer publiceerde onlangs in de American Mathematical Monthly een nieuw bewijs.
Creatieve therapie wordt door veel mensen nauwelijks serieus genomen als behandeling voor psychische problemen. Er is ook geen bewijs dat het echt werkt. Nóg niet, in ieder geval, want ondertussen zijn onderzoekers druk bezig de effecten in kaart te brengen.
Professor Vishnu Kumar Gurtu uit India beweert twee nieuwe bewijzen te hebben gevonden voor een van de beroemdste stellingen uit de wiskunde: de Laatste Stelling van Fermat uit 1637.
Vingerafdrukken en DNA-sporen lijken een onfeilbare getuigen in strafzaken. Maar dat idee strookt niet met de wetenschap. ‘De mythes over forensisch onderzoek moeten overboord.’
Het definitieve bewijs is geleverd voor een zwart gat in de kern van het Melkwegstelsel.