TAILIEUCHUNG - Stephen Wolfram - A New Kind Of Science Episode 8

Tham khảo tài liệu 'stephen wolfram - a new kind of science episode 8', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | THE PRINCIPLE OF COMPUTATIONAL EQUIVALENCE I CHAPTER 12 Over the past seventy years a few simpler examples have been constructed mostly with no obviously self-referential character. But usually these examples have involved rather sophisticated and obscure mathematical constructs most often functions that arc somehow set up to grow extremely rapidly. Yet at least in principle there should be examples that can be constructed based just on statements that no solutions exist to particular integer equations. If an integer equation such as X y 12 has a definite solution such as X 47 y 13 in terms of particular finite integers then this fact can certainly be proved using the axioms of arithmetic. For it takes only a finite calculation to check the solution and this very calculation can always in effect be thought of as a proof. But what if the equation has no solutions To test this explicitly one would have to look at an infinite number of possible integers. But the point is that even so there can still potentially be a finite mathematical proof that none of these integers will work. And sometimes the proof may be straightforward say being based on showing that one side of the equation is always odd while the other is always even. In other cases the proof may be more difficult say being based on establishing some large maximum size for a solution then checking all integers up to that size. And the point is that in general there may in fact be absolutely no proof that can be given in terms of the normal axioms of arithmetic. So how can one see this The picture on the facing page shows that one can construct an integer equation whose solutions represent the behavior of a system like a cellular automaton. And the way this works is that for example one variable in the equation gives the number of steps of evolution while another gives the outcome after that number of steps. So with this setup one can specify the number of steps then solve for the outcome after that number of

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.