Results 1 to 2 of 2

Thread: Hilbert's Tenth Problem through Lambda Calculus

  1. Feb 14th, 2006, 05:07 PM #1
    mendhak
    mendhak is offline

    Thread Starter
    I'm about to be a PowerPoster! mendhak's Avatar
    Join Date
    Feb 2002
    Location
    Ulaan Baator GooGoo: Frog
    Posts
    38,170

    Hilbert's Tenth Problem through Lambda Calculus

    In college, we were shown that Hilbert's Tenth Problem has no solution, and this was shown using Turing machines.

    I was also told that this can be proven through Lambda Calculus, and has been.

    Can anyone either link me to a proof of this, or show me?
    Reply With Quote Reply With Quote
  2. Feb 16th, 2006, 02:55 PM #2
    twanvl
    twanvl is offline
    Fanatic Member twanvl's Avatar
    Join Date
    Dec 2001
    Posts
    771

    Re: Hilbert's Tenth Problem through Lambda Calculus

    Mathworld has lots of links.
    Reply With Quote Reply With Quote
« Previous Thread | Next Thread »

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  

Forum Rules


Click Here to Expand Forum to Full Width