مقابلة جرت بين ليكس فريدمان وشارلز في 16 يونيو 2021
الخطوط العريضة:
0:00 - مقدمة
2:09 - ما هي لغة البرمجة المكتوبة بها المحاكاة؟
7:14 - الفلاسفة المفضلون
ل:فيما يلي محادثة مع Charles Hoskinson ، مؤسس Cardano ، المؤسس المشارك لـ Ethereum ، وعالم رياضيات وهو واحد من أكثر الأشخاص قراءة ومعرفة فيما يتعلق بالجانب التقني للعملات المشفرة التي تحدثت إليهم على الإطلاق. ذكر سريع للجهات الراعية لدينا ، وألعاب الحفل ، وكلها من أشكال Express ، و p n و Ace Sleep. تحقق منها في وصف لدعم هذا البودكاست. كملاحظة جانبية ، اسمحوا لي أن أقول إن تشارلز ليس مجرد عالم رياضيات أو مبتكر للعملات المشفرة ، ولكن هو أيضًا مزارع بيسون وفطر في كولورادو ، ولاعب ، وصياد ، ومسافر عالمي. عندما سألته عما إذا كان لديه صورة احترافية لطيفة عن نفسه ، أرسل لي صورة له في منغوليا مع صقر على كتفه ، وهو يقابل الرئيس المنغولي. هذا بالنسبة لي يقول كل شيء إلى حد كبير. الحديث عن روح الدعابة والذكاء لرجل جريء ومبتكر ولا يخجل من القليل من المرح وقليلًا من الجدل ، مما يجعله إنسانًا رائعًا لاستكشاف الأفكار معه.
أريد أن أقول من حيث الأفكار أنه على الأقل بالنسبة لي ، فإن العملة المشفرة أكبر بكثير من مجرد وسيلة لعدد قليل من الأمريكيين لتحقيق ربح سريع من خلال التكهنات التي تحركها الميم. إنها التكنولوجيا التي تتيح التحرر من الاضطهاد والمعاناة في العالم لأن المال قوة. منغوليا ، على سبيل المثال ، كانت تذكيرًا بذلك بالنسبة لي في اليوم التالي بعد التحدث مع تشارلز ، تحدثت مع وايومنغ بارك ، وهي منشقة كورية شمالية ، والتي قضت وقتًا في منغوليا ، كما يفعل العديد من الهاربين فيها في هروبهم من كوريا الشمالية . قصتها ، قصة كوريا الشمالية ، قصة الفظائع التي ارتكبها هتلر وستالين وآخرين طوال القرن العشرين ، تذكير بأن العالم مليء بالظلام ، ولكنه أيضًا مليء بالجمال والحب ، وهو كذلك عالم يستحق القتال من أجله بكل طريقة نعرفها. هذا بودكاست ليكس فريدمان ، وهنا حديثي مع تشارلز هوسكينسون.
لنبدأ بسؤال ممتع. إذا كنا نعيش في محاكاة ، فما لغة البرمجة التي تعتقد أنها مكتوبة بها؟ و ربما من منظور هندسة البرمجيات ، ما رأيك في بعض مبادئ التصميم التي تعمل بموجبها؟
ش : كما تعلم ، هناك الكثير من الأوراق الرائعة حقًا. مثل ، خرج واحد من msr ، الكون التعليمي التلقائي” , the auto didactic universe”. هل سنحت لك الفرصة لرؤية ذلك؟، يجب أن تقرأها. إنه مثل يوم 21 أبريل. إنه جديد تمامًا. لكن الفكرة الأساسية هي أن الكون يشبه نوعًا من نظام التعلم الذاتي العملاق الذي يمكن أن يتطور بنفسه تقريبًا مثل “nomic”. وبعد ذلك ولفرام يركض قائلاً ، مرحبًا ، يمكننا أن نبتكر هذه مثل القواعد البسيطة جدًا ويمكننا إعادة بناء كل الواقع في مرحلة ما بشكل تعسفي. ليس لدي أي فكرة على الإطلاق عما هو صحيح ، وأنا ، أنظر إليه نوعًا ما مثل نظام رسمي ، وأقول ، حسنًا ، إذا كنت عالقًا داخل النظام ، فمن الصعب حقًا أن تفهم أنك في الداخل النظام. تعلمون ، إنها نوعًا ما ، لغة Object للغةMeta. وكما تعلمون ، هناك هذا الشيء الموجود خارجها ، ولكن نظرًا لأنك مقيد ومحدود بواسطة المحاكاة ، لا يمكنك حقًا فهم طبيعة الشيء الموجود خارجها. أه ، إنها تشبه لعبة Minecraft تقريبًا. يمكنك بناء أجهزة كمبيوتر Redstone هذه داخل Minecraft ومحاكاة الأشياء بداخلها ، لكن لا يمكنك الخروج من تلك البيئة.
ل : هل يثبت الأشخاص الخارجون عنه بشكل متوافق أنه صحيح أو أي شيء آخر ، لكن المخلوقات داخل النظام لا يمكنها أن تأمل في فهم شيء ما وتحسينه تمامًا.
ش : حسنًا ، السؤال أيضًا هو ، إنه سؤال حسابي ، كما تعلمون ، هل p يساوي np؟ لأنه يجب أن تكون قادرًا على محاكاة الكل
من هؤلاء.
ل : أجل. كم من الوقت سوف يستغرق؟
ش : بالضبط. وبالتالي ، ليس لدي أدنى فكرة عن نوع اللغة التي يجب أن تبدو عليها ، ولكن ربما لن تكون أي شيء اعتدنا عليه في الوقت الحالي. يجب أن يكون شيئًا آخر ، وعلينا أن يكون لدينا بعض الحلول الأساسية للعلاقة ، وهذه الأنظمة الرسمية وكيف يتم توسيعها. هذا مثل سؤال للقرن الثاني والعشرين بدلاً من القرن الحادي والعشرين. ( يضحك )
ل : هل تجد فكرة ستيفن وولف مقنعة؟ هذه طريقة برمجة مختلفة تمامًا ، وهي أنك تضع بعض القواعد ، وتضع بعض الشروط الأولية وتتركها تعمل وترى ما سيحدث.
ش : نعم ، وهذا ليس مفهومًا جديدًا. أعني ، مثل معهد Santafe الذي يقوم بذلك لفترة طويلة ، ويمكنك استخدامه للنمذجة الاقتصادية ، ويمكنك إظهار أنه في حالات معينة هناك هذا المفهوم للقواعد البسيطة يتطور إلى نظام معق, إلى حد ما أكثر تنبؤية من محاولة بناء نموذج معقد من أعلى إلى أسفل للأشياء. وأعتقد أن هناك بعض المقارنات ، هذه الأشياء في “الذكاء الاصطناعي” حيث تبدأ ببعض الأشياء البسيطة ثم بطريقة ما تكتشف الأشياء في بيئتها بمرور الوقت وأفضل بكثير ,مما لو حاولت بالفعل تصميمها باستخدام “Prologue” أو ، شيء من هذا القبيل. لذلك ، هذا مثير لأنك تقوم ببعض الأشياء فقط ، وتترك الشيء يعمل ثم ترى ما سيحدث. وهذا كثير من المرح. في الواقع ، لقد أصبحت مثيرة للغاية. آه ، جاء ولفرام إلينا وقال ، مرحبًا ، لنقم بسوق إن إف تي. وقلت ، ماذا تريد أن تفعل؟ وقال ، لقد حصلت على كل هذه الأكوان لبيعها . وقلنا ، حسنًا ، هذا سيكون ممتعًا. لذلك سننشئ نظام مزاد أو شيء من هذا القبيل معه. وأعتقد أنه ربما نهاية هذا الشهر أو الشهر المقبل ، سنكتشف كيف نفعل NFTs على كاردانو ، مع أكوان ولفرام. وبمجرد أن نتمكن من بيع واحدة ، سأعطيك واحدة ، وبعد ذلك ، يمكننا جميعًا أن ندعي أننا نعيش في نوع من محاكاة Wolfram.
ل : أنا ، لا أعرف مقدار المال الذي أملكه ، لكنني سأقدم كل ما أملك للحصول على القاعدة 30 ، والتي هي أحد أكوانه ، آه ، التي أنشأها. واحدة من أوائل تلك التي اكتشفنا فيها أه بعض التعقيدات المثيرة للاهتمام أه.
ش : أعتقد أن تحول “القاعدة الثلاثين” قد اكتمل أم أن 45؟ لا أستطيع أن أتذكر أي واحد هذا
ل : صحيح. تعلم الأشياء الخاصة بك. نعم. في الواقع ، لست متأكدًا مما إذا كانوا قد أثبتوا أي شيء حول القاعدة 30 من حيث ما إذا كان هناك تحول أم لا. تمام. لكن هناك مسابقات ممتعة عليها ، والتي تحاول التنبؤ بشيء عن القاعدة 30 ، حول الطريقة التي تتطور بها. وحتى الآن لم يتمكن أحد من فعل ذلك. تمامًا مثل النظر إلى العمود الأوسط ، حاول التنبؤ مع تطور النظام ، قل أي شيء مثل نهائي حول مستقبل النظام أثناء تطوره. انها رائعة. كلاهما ، جميل ، أن القواعد البسيطة يمكن أن تخلق هذا النوع من التعقيد. <تأكيد>. ومن المحزن أيضًا أننا لا نستطيع أن ونفهمه تمامًا ، مثل المستقبل التنبؤي تمامًا ، على الرغم من أنه كله بسيط وحتمي. لا يمكننا أن نقول شيئًا قاطعًا حول مثل متى سينتهي الشيء ، ومتى ستتطور هذه “الأوتوماتا الخلوية” الصغيرة بطريقة معينة ، وبعد ذلك سيتم اختراع الأسلحة النووية وتفجير بعضها البعض ، وبعد ذلك سيكون هذا " 1D cellular automata" فارغًا.
ش : حسنًا ، ألا يجعل ذلك الأمر ممتعًا ،
ل : ؟ نعم. انه ممتع. لكن عندما تحاول الإبداع ، وسنتحدث عن شيء ما يدير الاقتصاد والطريقة التي يتعامل بها البشر ويتعاونون ويقعون في الحب ويعملون معًا ، فأنت تريد أن تكون قليلًا أكثر رسمية وحاول أن تقول شيئًا قاطعًا. إذا كان هذا الكون كله مجرد آلية خلوية ، إذن ، فإن كونك قاطعًا هو نوع من اليأس ، بشكل عام. والأمل هو ، أعتقد أنه سيكون هناك جيوب من داخل “الأوتوماتا الخلوية” ، حيث يمكنك أن تكون متنبئًا ، حيث يمكنك رسميًا إظهار أن شيئًا ما صحيح ، وبعد ذلك يمكنك الاعتماد على ذلك بمرانة وكل تلك الأشياء ، على الرغم من أن بقية الأشياء عبارة عن فوضى عملاقة لا يمكن التنبؤ بها.
ش : نعم. ألم يسموا ذلك “شيطان لابلاس”؟
ل : نعم. نعم. حسنًا ، أتساءل ماذايفعل الشيطان هذه الأيام. تمام. شكرا لك على تسليتي بهذا. لكن بالتمسك بالفلسفة ، فقد ذكرت أيضًا من بين آخرين أن “برتراند راسل” و “ساول كريبكي” ، هما من الفلاسفة المفضلين لديك. ربما يمكنك التعليق على أفكارهم التي تجدها ثاقبة ، وأيضًا ما الذي تستخدمه في الاختلاف ، لأنك مهندس ومفكر في الوقت نفسه ، فما الذي تستخدمه للفرق بين الفلسفة وعلوم الكمبيوتر؟
ش : نعم. حسنًا ، هناك عنصر بشري عميق لكل من “راسل وشاول”. ثم هناك بالطبع هذا العمل الرائع الذي قاموا به في أواخر القرن التاسع عشر والقرن العشرين. ولا يمكنك التحدث عن راسل أو أو شاول دون ذكر “فيتجنشتاين” و “تارسكي” أيضًا. لأنه عندما تنظر إلى هؤلاء الأشخاص وتجمعهم معًا ، فإن ما كانوا يحاولون فعله هو زيادة مستوى الدقة الذي نتمتع به في تحليل كل من اللغات الرسمية واللغة بشكل عام. نعم. ولذا فإن “فيتجنشتاين” لا ا فهم معنى عمله على الإطلاق. هناك أناس رائعون يمكنهم بطريقة ما تحليل ذلك ، لكن….
ل : إنه لا يفهم نفسه أيضًا.
ش : أعتقد أنك محق في ذلك. ومع ذلك ، فإن “Kripke” لديه “Kripkenstein” ، كما تعلم ، لديه كل بنائه على ذلك ، أليس كذلك؟ وقد بنى أعلى … ، وعلى الأقل هناك لدي “منطق نمطي” ولدي الصناديق الصغيرة ولدي الماس ، ويمكنني إجراء عملية حسابية ويمكنني نوعًا من الأسباب حول الأشياء التي يستخدمها الأشخاص يقولون. لكن في الحقيقة كان الأمر كله يتعلق بالدقة وطبيعة الحقيقة والدقة وطبيعة الضرورة والإمكانية ، وسحر هذه العبارات هو أنه يمكنك بعد ذلك البدء في فهم أفضل للمدى الذي يمكن للغة رسمية أن تأخذك إليه. وهذا هو عمل ذلك. كما تعلم ، فعل “ديفيد هيلبرت” نفس الشيء أيضًا. وراسيل ، بدأ حياته المهنية في العمل مع ألفريد نورث وايتهيد.
كان منطقيًا. وكانت هناك رغبة كاملة في الرياضيات في أواخر القرن التاسع عشر لإضفاء الطابع الرسمي على الرياضيات بطريقة جديدة تمامًا وأفضل. وقد بدؤوا بالهندسة وكانت هندسة هيلبرت بمثابة نظام كامل ، على الرغم من أننا اكتشفنا مؤخرًا وجود بعض الثغرات في ذلك ، إلا أن الجزء الأكبر منها مكتمل. وكما تعلمون ، البديهيات مستقلة ومتسقة. وقالوا ، حسنًا ، يمكننا الآن القيام بذلك لجميع الرياضيات. وقد كتبا راسل ووايتهيد هذه المجموعة الضخمة من الكتب مثل كتابين كبيرين ، “Principia Mathematica” ألف صفحة ، والاستنتاجات واحد زائد واحد يساوي اثنين. لذا فقد ربطوا بين نظرية المجموعات والحساب والمنطق ، كل ذلك بهذه الطرق الجميلة. ثم شيئًا فشيئًا ، مع دخولنا القرن العشرين ، بدأ علماء المنطق في التخلص من هذه الفكرة القائلة بأنه يمكنك بالفعل بناء نظام كامل للرياضيات ، أولاً باستخدام “Gödel”.
ثم فيما بعد مع أعمال “تورينج” و “Church” وآخرين ، قالوا ، أوه ، أنت غير مكتمل ، أنت لست قابلاً للتقرير. وفجأة ، تُرك “راسل” في هذا الوضع السيئ حقًا حيث كان عمله المبكر في حياته ، تم نسيانه بشكل أساسي. لذلك كان عليه أن يعيد اكتشاف نفسه. وهكذا ذهب إلى الأخلاق وتوجه إلى مجالات مختلفة من الفلسفة ، وأصبح عملاقًا في الفلسفة التحليلية. وكان أيضًا من دعاة السلام. وكان مجرد كاتب استثنائي. كما تعلم ، إذا قرأت “لماذا لست مسيحيًا” أو أي من هجماته الأخرى على “الميتافيزيقيا” ، قال ، انظر ، يمكنني التعامل فقط مع العالم الذي أنا فيه ، في من الأحاسيس التي لدي ، وإذا استطعت أن أستنتج ذلك ، فأنا أصدق ذلك. إذا كان خارج ذلك ، فأنا لا أستطيع حقًا الإدلاء ببيانات ذات مغزى عنها. وقد قالها في النثر الإنجليزي الجميل الذي تتوقعه من رجل في مكانته.
الآن ، كان “شاول كريبكي” عكس ذلك تمامًا. هذا الرجل متواضع حقًا ، وليس أرستقراطيًا على الإطلاق. وكما تعلم ، كان أحد هؤلاء الرجال الذين كان بإمكانهم فعل أي شيء لأنه كان كذلك ، إنه رائع. أعتقد أنه لا يزال على قيد الحياة.
ل : أعتقد أنه يبلغ من العمر 80 عامًا. ش : بالضبط. . نعم ، إنهيصعد هناك يا رجل. لكن أعني ، حرفيًا عندما كان في المدرسة الثانوية ، كتب هذه الأوراق والمنطق واتصلت به هارفارد وقال ، مهلا ، هل يمكنك تدريس دورات الدراسات العليا في هارفارد؟ وقال ، لا ، أود حقًا إنهاء دراستي الثانوية أولاً قبل أن أذهب وأدرّس الدراسات العليا في جامعة هارفارد. وهذا مجرد واحد من هؤلاء الرجال الذين يمكنك أن ترى من خلال عمله أنه يمكنه التفكير بعمق في أي شيء. إنها مثل “جاوة” الفلسفة. واختار أن يحاول تنظيف الكثير من العبث الذي لم يستطع “تارسكي” وآخرون حله.
(11:12)
: