Đến nội dung

Hình ảnh

Trò chơi FRACTRAN cho phỏng vấn Collatz

- - - - - collatzgame halting conway fractran computer language colfunction terry tao interpreter as generator rice’s theorem

  • Please log in to reply
Chủ đề này có 4 trả lời

#1
DOTOANNANG

DOTOANNANG

    Đại úy

  • ĐHV Toán Cao cấp
  • 1609 Bài viết

Given a 9-instruction program

13/11 22/39 1/13 7/5 320/21 1024/7 3/4 5/6 22/3

 

Nếu input là $n= 2^{x}\!$, $n$ nhân với phân số $f$ nào (đã định sẵn thứ tự) trước nhất mà $nf$ nguyên thì thỏa, kiểm tra xem $nf= 2^{y}{\it ?}$ Nếu không, update $n$ bằng $nf\!$, lặp lại bước trên, nhận được $nf$ mới khác.... cho đến $nf= 2^{y}\!$. Có được $y= \mathtt{Col}\left ( x \right )\!$.

 

Ví dụ: Cho input là $n= 2^{3}\!$, có $3/4\cdot n= 6$ nguyên, update $n= 6$, có $5/6\cdot n= 5$ nguyên, update $n= 5$, có $7/5\cdot n= 7$ nguyên, update $n= 7$, có $1024/7\cdot n= 1024= 2^{y}$ với $y= 10= \mathtt{Col}\left ( 3 \right )\!$. Tương tự, ta hoàn toàn có thể tìm được $\mathtt{Col}\left ( 10 \right )\!$, chẳng hạn update $n= 2^{10}\!$, có $3/4\cdot n= 3\cdot 2^{8}$ nguyên, update $n= 3\cdot 2^{8}\!$, với $\left ( 3/4 \right )$ nó sẽ đi đến kiểu mẫu của $n= 3^{5},$ có $22/3\cdot n= 22\cdot 3^{4}$ nguyên, update $n= 22\cdot 3^{4}\!$, với $\left ( 13/11, 22/39 \right )$ nó cũng dần dà đi đến kiểu mẫu của $2^{y}$ với $y= 5= \mathtt{Col}\left ( 10 \right )\!$.

 

Đoạn code FRACTRAN mình đưa ra dựa vào ý tưởng ở trang Th40 những trình bày tổng hòa của Terry Tao về phỏng vấn Collatz.



#2
perfectstrong

perfectstrong

    $LOVE(x)|_{x =\alpha}^\Omega=+\infty$

  • Quản lý Toán Ứng dụng
  • 4991 Bài viết

"Conjecture" là "giả thuyết" hoặc "phỏng đoán", chứ "phỏng vấn" là interview mà em?


Luôn yêu để sống, luôn sống để học toán, luôn học toán để yêu!!! :D
$$\text{LOVE}\left( x \right)|_{x = \alpha}^\Omega = + \infty $$
I'm still there everywhere.

#3
DOTOANNANG

DOTOANNANG

    Đại úy

  • ĐHV Toán Cao cấp
  • 1609 Bài viết
Em nghĩ nguyên gốc của từ "phỏng vấn" đã bị thay đổi theo cách hiểu đại trà hơn, em nghĩ dùng "phỏng vấn" sâu sắc hơn với "giả thuyết" hay "phỏng đoán" (theory / heuristics).

#4
Nxb

Nxb

    Thiếu úy

  • ĐHV Toán học Hiện đại
  • 679 Bài viết

Em nghĩ nguyên gốc của từ "phỏng vấn" đã bị thay đổi theo cách hiểu đại trà hơn, em nghĩ dùng "phỏng vấn" sâu sắc hơn với "giả thuyết" hay "phỏng đoán" (theory / heuristics).

Từ conjecture được dịch là giả thuyết từ lâu, trước cả khi bố mẹ mình được sinh ra, không thể tự tiện thay đổi mà không có lý do rõ ràng được. 


Bài viết đã được chỉnh sửa nội dung bởi Nxb: 11-12-2022 - 00:58


#5
perfectstrong

perfectstrong

    $LOVE(x)|_{x =\alpha}^\Omega=+\infty$

  • Quản lý Toán Ứng dụng
  • 4991 Bài viết

Em nghĩ nguyên gốc của từ "phỏng vấn" đã bị thay đổi theo cách hiểu đại trà hơn, em nghĩ dùng "phỏng vấn" sâu sắc hơn với "giả thuyết" hay "phỏng đoán" (theory / heuristics).

Nhiều từ cũng đã bị thay đổi nghĩa, đơn cử như "kinh tế". Tuy nhiên, đúng như anh Nxb nói, không nên tùy tiện thay đổi mà không đưa ra lý do cụ thể.


Luôn yêu để sống, luôn sống để học toán, luôn học toán để yêu!!! :D
$$\text{LOVE}\left( x \right)|_{x = \alpha}^\Omega = + \infty $$
I'm still there everywhere.




1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh