View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Hilbert's 10th Problem

        Thumbnail
        View/Open
        Hilbert10_Richard_Dirven_5686091.pdf (546.7Kb)
        Publication date
        2021
        Author
        Dirven, R.A.
        Metadata
        Show full item record
        Summary
        In 1900 German mathematician David Hilbert published a list of 23 open mathematical problems. Hilbert’s 10th problem asks for an algorithm which determines whether a polynomial with integer coefficients (and an arbitrary amount of variables) has a root in Z. We will explore and explain Matiyasevich’s proof and the necessary theory to understand it. Reading this thesis will guide you through both logic and number theory, with small parts hinting to theoretical computer science.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/39579
        Collections
        • Theses
        Utrecht university logo