Tag: machine intelligence

• First results from the “musical” neural network

  

  I am working on a project to see whether, using various “deep learning” methods, it is possible to take a photograph of some musical notation and play it back. (I was inspired to do this by having a copy of 1955’s Labour Party Songbook and wondering what many of the songs sounded like.) The first task…

  Adrian McMenamin

  July 18, 2017

  Uncategorized

  convolutional neural networks, deep learning, Image processing, machine intelligence, musical scores, neural networks

• A (partial) answer to my Goedelian conundrum?

  Last week I puzzled over what seemed to me to be the hand waiving dismissal, by both Alan Turing and Douglas Hofstadter of what I saw as the problem of humans being able to write true statements that the formal systems employed by computers could not determine – the problem thrown up by Goedel’s Incompleteness…

  Adrian McMenamin

  June 5, 2013

  Uncategorized

  Alan Turing, Church-Turing thesis, Computability, Douglas Hofstadter, Epimenides Paradox, formal systems, Gödel Escher Bach, Gödel numbering, Gödel’s incompleteness theorems, Goedel, machine intelligence, Number Theory, Tarski’s Theorem