Julia Robinson en Hilberts Tiende Probleem
Onlangs zag ik de film Julia Robinson and Hilbert's Tenth Problem. Hieronder vind je een samenvatting van de film (de samenvatting is in het Engels, omdat ik een eerdere versie ervan geschreven heb voor het vak "Core Logic" uit de MSc in Logic aan de Universiteit van Amsterdam -- zoals sommige lezers van mijn blog wellicht weten, is dat het programma dat ik momenteel studeer).
In this movie, three themes are developed simultaneously: Robinson's contributions to mathematics, her 'public' activities and her 'private' life. The focus is on the importance of her work on Hilbert's Tenth Problem. The question is whether there exists an algorithm for deciding whether a given polynomial equation has integer roots. People such as Hilary Putnam and Martin Davis thought that there exists no such algorithm. Robinson's main contribution is that she proved that if a certain hypothesis (later called 'JR', in honour of her) holds, then the problem is indeed unsolvable. Later, the Russian mathematician Yuri Matiyasevich proved JR, and thus solved Hilbert's Tenth Problem. The movie also pays attention to Robinson's 'public' activities. She was politically active (for the Democrats). Still during the Cold War, she and Matiyasevich corresponded and, later on, also met each other. Because of the wide recognition of her mathematical work (e.g. she was elected to the National Academy of Sciences and acted as president of AMS), she became a role model for women in mathematics. Finally, the movie also discusses the major events of Robinson's private biography, such as her youth (during which she lost both her parents), her marriage, her miscarriage and her death because of leukemia.
Nog enkele leuke weetjes:
Possible causes are:
If you tried to access a non-local interwiki page, you may be able to access that page by clicking the "article" tab on this page.
Reid; Reid schreef eerder al oa. een biografie van David Hilbert, maar bovendien is zij de zus van Julia Robinson
