HN Explorer

ProfHewitt

↗ HN profile [ 167 ms ] full profile
Karma
250
Created
August 15, 2019 (6y ago)
Submissions
0
  1. Apple Adopts Actors (developer.apple.com)
    5 points 0
  2. Video Rembrance of Marvin Minsky (part 1) (web.media.mit.edu)
    1 points 0
  3. Church's Dilemma Resolved (professorhewitt.blogspot.com)
    1 points 0
  4. Gödel failed to prove inferential undecidablity in foundations (professorhewitt.blogspot.com)
    1 points 0
  5. The Church/Turing Thesis Is False (professorhewitt.blogspot.com)
    1 points 0
  6. Hundreds of Times Faster Than a Parallel Lambda Expression (professorhewitt.blogspot.com)
    1 points 0
  7. Further Development of Dijkstra's Contributions (professorhewitt.blogspot.com)
    1 points 0
  8. Rescuing Foundations of Computation

    [Church 1934] remarked that the assumption that theorems must computationally enumerable leads to inconsistency for a foundational theory T that can axiomatize computation and provability by the following remarkable…

    2 points 0
  9. Edsger Dijkstra Tribute (professorhewitt.blogspot.com)
    1 points 0
  10. Physical Indeterminacy in Digital Computation (papers.ssrn.com)
    2 points 1