And Turing started with an imaginary device using paper and pencil. I wonder if he cut out paper rectangles for programs or rigged up actual paper tape machines to use in a simulation of a machine. He must have at some point although he seemed to be able to make a lot of fast progress from 1936 when he started writing papers in Princeton until 1943 or 43 when, given enough money and good coworkers, he was able to get a computer built that worked to solve variations in the enigma codes. He not only knew of devices which used paper tapes (like textile machines) but he also used the work of mathematicians like Hilbert (I think it is) who developed theories about mathematical logic and theories about meta mathematics. In 1948 Turing built the first computer that could store programs built.
Jim Bromer On Wed, Jul 15, 2015 at 8:18 PM, Mike Archbold <[email protected]> wrote: > Well, another thing we have going for us... sometimes I think "I'm not > as smart as Turing." You are all saying "so what?" Well, I do have > one advantage. Turing isn't alive. > > He can't do a thing now! > > On 7/15/15, Jim Bromer <[email protected]> wrote: > > I made a serious intuitive-logical mistake in my 3-SAT solver. The first > > stage of fixing the error looks like it will be easy. The second stage of > > the repair looks like it will be very difficult but I think the plan may > > still be feasible. > > > > > > Matt asked me why I thought that I could solve this problem when so many > > other people have not been able to. I responded by saying that I was able > > to acknowledge my mistakes. We all make mistakes but it is another thing > to > > be able to recognize it and react strongly to an error that was partially > > or fully your own. > > > > There are other reasons why I think I may be able to solve this problem > > when so many smart people have not been able to: > > > > I am not everyone else. I am an individual and I may have some > mathematical > > peculiarities which allow me to look at the problem a little differently. > > > > I still believe that there is a slight possibility that the Lord let me > > know, indirectly, that I had a plan that would work. (I am not certain of > > that, I only said that there was a slight possibility.) > > > > Finally I have discovered something that is new to me and very > surprising. > > I can't tell if it is just an interesting triviality (a special case that > > has limited application) or if it might serve as a basis for a viable > > solution and a way to advance other problems. But it is worth looking > into. > > Jim Bromer > > > > > > > > ------------------------------------------- > > AGI > > Archives: https://www.listbox.com/member/archive/303/=now > > RSS Feed: > https://www.listbox.com/member/archive/rss/303/11943661-d9279dae > > Modify Your Subscription: > > https://www.listbox.com/member/?&; > > Powered by Listbox: http://www.listbox.com > > > > > ------------------------------------------- > AGI > Archives: https://www.listbox.com/member/archive/303/=now > RSS Feed: https://www.listbox.com/member/archive/rss/303/24379807-653794b5 > Modify Your Subscription: > https://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
