إيهود شابيرو

إيهود شابيرو ( بالعبرية : אהוד שפירא ؛ مواليد 1955) عالمٌ ورائد أعمال وفنان وناشط سياسي إسرائيلي، وهو أستاذ فخري في علوم الحاسوب وعلم الأحياء في معهد وايزمان للعلوم [ 2 ] وأستاذ زائر في كلية لندن للاقتصاد والعلوم السياسية . يتمتع بسمعة دولية مرموقة، وقد أسهم في العديد من التخصصات العلمية، [ 3 ] حيث وضع أجندة بحثية طويلة الأمد لكل منها من خلال طرح أسئلة أساسية وتقديم خطوة أولى نحو الإجابة عليها، بما في ذلك كيفية حوسبة عملية الاكتشاف العلمي، من خلال تقديم تفسير خوارزمي لمنهجية كارل بوبر في التخمينات والتفنيدات؛ [ 4 ] [ 5 ] [ 6 ] وكيفية أتمتة تصحيح أخطاء البرامج ، من خلال خوارزميات لتحديد مواقع الأخطاء؛ [ 7 ] [ 8 ] وكيفية توحيد البرمجة المتوازية والموزعة وبرمجة الأنظمة باستخدام لغة برمجة عالية المستوى قائمة على المنطق. [ 9 ] [ 10 ] كيفية استخدام الميتافيرس كأساس للتواصل الاجتماعي؛ [ 11 ] كيفية ابتكار حواسيب جزيئية تعمل كأدوية ذكية قابلة للبرمجة؛ [ 12 ] [ 13 ] [ 14 ] كيفية الكشف عن شجرة سلالة الخلايا البشرية، عبر علم الجينوم أحادي الخلية؛ [ 15 ] [ 16 ] [ 17 ] كيفية دعم الديمقراطية الرقمية، من خلال ابتكار بنية بديلة للعالم الرقمي تُسمى "الجذور الشعبية". [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ]

كان شابيرو أيضًا من رواد الأعمال الأوائل في مجال الإنترنت، [ 11 ] ومؤيدًا للديمقراطية الرقمية العالمية . [ 18 ] [ 22 ]

شابيرو هو مؤسس فرقة با روك باند [ 23 ] ومؤسس حزب "ديمقراطيت" السياسي الإسرائيلي. [ 24 ] وقد فاز بمنحتين متقدمتين من المجلس الأوروبي للبحوث . [ 25 ] [ 26 ]

الحياة المبكرة والتعليم

وُلد شابيرو في القدس عام ١٩٥٥، وتعرّف على فلسفة كارل بوبر العلمية من خلال مشروعٍ في المرحلة الثانوية أشرف عليه موشيه كروي من قسم الفلسفة بجامعة تل أبيب. في عام ١٩٧٩، أكمل شابيرو دراسته الجامعية في جامعة تل أبيب في الرياضيات والفلسفة. سعى شابيرو، من خلال أطروحته للدكتوراه مع دانا أنجلوين في علوم الحاسوب بجامعة ييل ، إلى تقديم تفسيرٍ خوارزمي لمنهج بوبر الفلسفي في الاكتشاف العلمي ، مما أسفر عن نظام حاسوبي لاستنتاج النظريات المنطقية من الحقائق؛ [ ٥ ] ومنهجية لتصحيح أخطاء البرامج ، [ ٧ ] طُوّرت باستخدام لغة البرمجة برولوج . نُشرت أطروحته، بعنوان " تصحيح أخطاء البرامج الخوارزمي[ ٧ ] من قِبل مطبعة معهد ماساتشوستس للتكنولوجيا كأطروحة متميزة من قِبل جمعية آلات الحوسبة عام ١٩٨٢، تلاها في عام ١٩٨٦ كتاب "فن برولوج"، وهو كتابٌ دراسي شارك في تأليفه مع ليون ستيرلينغ . [ ٢٧ ]

حياة مهنية

بعد انتقاله إلى قسم علوم الحاسوب والرياضيات التطبيقية في معهد وايزمان للعلوم عام 1982 كباحث ما بعد الدكتوراه، استلهم شابيرو من مشروع أنظمة الحاسوب من الجيل الخامس الياباني فكرة ابتكار لغة برمجة عالية المستوى لأنظمة الحاسوب المتوازية والموزعة، أطلق عليها اسم "كونكرنت برولوج" . [ 9 ] ونُشر كتاب من مجلدين حول "كونكرنت برولوج" والأعمال ذات الصلة من قِبل مطبعة معهد ماساتشوستس للتكنولوجيا عام 1987. [ 9 ]

في عام ١٩٩٣، حصل شابيرو على إجازة من منصبه الدائم في معهد وايزمان لتأسيس شركة Ubique المحدودة (وشغل منصب الرئيس التنفيذي فيها)، وهي شركة إسرائيلية ناشئة في مجال برمجيات الإنترنت. بالاعتماد على لغة البرمجة Concurrent Prolog، طورت Ubique برنامج "Virtual Places"، وهو برنامج ميتافيرس ثنائي الأبعاد وشبكة تواصل اجتماعي، تضمن المراسلة الفورية، وغرف الدردشة، والتصفح التعاوني، والفعاليات والألعاب عبر الإنترنت، وتقنية الصوت عبر بروتوكول الإنترنت (VoIP). بيعت Ubique لشركة America Online في عام ١٩٩٥، وبعد عملية استحواذ إداري في عام ١٩٩٧، بيعت مرة أخرى لشركة IBM في عام ١٩٩٨. [ ٢٨ ]

حاول شابيرو بناء حاسوب من جزيئات بيولوجية، مستلهمًا رؤيته لـ" طبيب في خلية ": حاسوب جزيئي حيوي يعمل داخل الجسم الحي، مُبرمج بمعرفة طبية لتشخيص الأمراض وإنتاج الأدوية اللازمة. ولأنه كان حديث العهد بعلم الأحياء، صمّم شابيرو أول تصميم له لحاسوب جزيئي على شكل جهاز ميكانيكي يشبه مكعبات الليغو، باستخدام تقنية الطباعة المجسمة ثلاثية الأبعاد، وحصل على براءة اختراع له عند عودته إلى معهد وايزمان عام ١٩٩٨. وخلال الفترة من ١٩٩٩ إلى ٢٠١٦، كان مختبر شابيرو يُصمّم ويُنفّذ أجهزة حوسبة جزيئية متنوعة. [ ١٢ ] [ ١٣ ] [٢٩ ] [ ٣٠ ] [ ٣١ ] [ ٣٢ ] [ ٣٣ ]

في عام 2011، صمم شابيرو طريقة فعالة لتخليق جزيئات الحمض النووي الخالية من الأخطاء من وحدات البناء المعرضة للخطأ، [ 34 ] وأسس اتحاد CADMAD (التصميم والتصنيع بمساعدة الكمبيوتر لمكتبات الحمض النووي): [ 35 ]

في عام ٢٠٠٥، قدّم شابيرو رؤيةً للتحدي الكبير التالي في علم الأحياء البشري: الكشف عن شجرة سلالة الخلايا البشرية . [ ١٥ ] تُجسّد شجرة سلالة الخلايا تاريخ نمو جسم الإنسان من خلية واحدة ( البويضة المخصبة ) إلى ١٠٠ تريليون خلية. في محاضرته في مؤتمر TEDxTel-Aviv بعنوان "الكشف عن شجرة سلالة الخلايا البشرية - التحدي العلمي الكبير التالي" [ ٣٦ وصف شابيرو النظام والنتائج التي تم التوصل إليها حتى الآن، واقترح مشروعًا رائدًا ضمن مبادرة FET بعنوان "مبادرة سلالة الخلايا البشرية الرائدة" [ ٣٧ ] للكشف عن شجرة سلالة الخلايا البشرية في الصحة والمرض. ويهدف مشروع أطلس الخلايا البشرية الدولي ، الذي أطلقه طالب الدكتوراه السابق لشابيرو، أفيف ريغيف، إلى معالجة السؤال الأساسي المتمثل في وصف جميع أنواع الخلايا في جسم الإنسان. 

بحث

اقترح بوبر أن جميع النظريات العلمية هي بطبيعتها مجرد تخمينات وعرضة للخطأ، وأن دحض النظريات القديمة هو العملية الأساسية للاكتشاف العلمي. [ 38 ] سعت دراسات شابيرو للدكتوراه مع أنجلوين إلى تقديم تفسير خوارزمي لمنهج بوبر في الاكتشاف العلمي ، ولا سيما لأتمتة طريقة "التخمينات والدحض" ، التي تقوم على طرح تخمينات جريئة ثم إجراء تجارب لدحضها. عمم شابيرو هذا المنهج في "خوارزمية تتبع التناقضات" ، وهي خوارزمية لتتبع التناقضات. [ 5 ] تُطبق هذه الخوارزمية كلما حدث تناقض بين نظرية مفترضة والحقائق. من خلال اختبار عدد محدود من الذرات الأساسية للتأكد من صحتها في النموذج، تستطيع الخوارزمية تتبع مصدر هذا التناقض، أي فرضية خاطئة، ويمكنها إثبات خطئها من خلال تقديم مثال مضاد لها.   

وضع شابيرو الأساس النظري للبرمجة المنطقية الاستقرائية ، وبنى أول تطبيق لها (نظام استدلال النموذج): وهو برنامج مكتوب بلغة برولوج يستنتج البرامج المنطقية استقرائيًا من أمثلة إيجابية وسلبية. وقد ازدهرت البرمجة المنطقية الاستقرائية اليوم كفرع من فروع الذكاء الاصطناعي والتعلم الآلي ، حيث تستخدم البرمجة المنطقية كتمثيل موحد للأمثلة والمعرفة الأساسية والفرضيات. وقد أدت الأعمال الحديثة في هذا المجال، التي تجمع بين البرمجة المنطقية والتعلم والاحتمالات، إلى ظهور مجال جديد هو التعلم الإحصائي العلائقي .

تصحيح أخطاء البرامج الخوارزمية

طُوِّرَ تصحيح الأخطاء الخوارزمي لأول مرة على يد شابيرو خلال بحثه لنيل درجة الدكتوراه في جامعة ييل، كما ورد في أطروحته للدكتوراه [ 39 ] ، والتي اختيرت كأطروحة متميزة من قِبَل جمعية آلات الحوسبة (ACM) عام 1982. وقد طبّق شابيرو طريقة تصحيح الأخطاء الخوارزمي في لغة برولوج [ 40 ] (وهي لغة برمجة منطقية للأغراض العامة) لتصحيح أخطاء البرامج المنطقية .

في حالة البرامج المنطقية ، يتمثل السلوك المقصود للبرنامج في نموذج (مجموعة من العبارات الصحيحة البسيطة)، وتظهر الأخطاء على شكل عدم اكتمال البرنامج (عدم القدرة على إثبات صحة عبارة) أو عدم صحته (القدرة على إثبات خطأ عبارة). تقوم الخوارزمية بتحديد العبارة الخاطئة في البرنامج وتقديم مثال مضاد لها أو عبارة صحيحة مفقودة يجب إضافتها أو تعميمها إلى البرنامج. كما تم تطوير طريقة للتعامل مع حالات عدم الإنهاء . ومنذ ذلك الحين، تم توسيع نطاق منهج تصحيح الأخطاء الخوارزمي وتطبيقه على العديد من لغات البرمجة. [ 41 ] [ 42 ]

مشروع أنظمة الحاسوب من الجيل الخامس

كان مشروع أنظمة الحاسوب من الجيل الخامس (FGCS) مبادرةً أطلقتها وزارة التجارة الدولية والصناعة اليابانية عام 1982، بهدف ابتكار حاسوب يعتمد على الحوسبة /المعالجة المتوازية الضخمة. وكان من المفترض أن يكون ثمرة مشروع بحثي حكومي/صناعي ضخم في اليابان خلال ثمانينيات القرن الماضي. وهدف المشروع إلى ابتكار حاسوب ثوري ذي أداء يُضاهي أداء الحواسيب العملاقة، وتوفير منصة للتطورات المستقبلية في مجال الذكاء الاصطناعي.

في عام ١٩٨٢، وخلال زيارة إلى مؤتمر الحوسبة الدولية (ICOT) ، [ ٤٣ ] ابتكر شابيرو لغة البرمجة المتزامنة برولوج ، وهي لغة برمجة متزامنة جديدة تجمع بين البرمجة المنطقية والبرمجة المتزامنة. برولوج هي لغة برمجة منطقية مصممة للبرمجة المتزامنة والتنفيذ المتوازي. وهي لغة موجهة نحو العمليات ، وتعتمد في آليات التحكم الأساسية لها على تزامن تدفق البيانات وعدم حتمية الأوامر المحمية .

وصف شابيرو اللغة في تقرير يحمل الرقم 003 من تقارير ICOT التقنية، [ 44 ] والذي عرض مترجمًا للغة برولوج المتزامنة مكتوبًا بلغة برولوج. ألهم عمل شابيرو على برولوج المتزامنة تغييرًا في توجه مشروع FGCS من التركيز على التنفيذ المتوازي لبرولوج إلى التركيز على البرمجة المنطقية المتزامنة كأساس برمجي للمشروع. كما ألهم أيضًا لغة البرمجة المنطقية المتزامنة Guarded Horn Clauses (GHC) [ 45 ] التي طورها أويدا، والتي شكلت أساس لغة KL1 ، وهي لغة البرمجة التي صممها ونفذها مشروع FGCS في نهاية المطاف كلغة البرمجة الأساسية له.

شركة يوبيك المحدودة

في عام ١٩٩٣، حصل شابيرو على إجازة من معهد وايزمان ليؤسس شركة Ubique Ltd.، وهي شركة إسرائيلية ناشئة في مجال برمجيات الإنترنت، ويتولى منصب الرئيس التنفيذي فيها. طورت Ubique برنامجًا مبكرًا للواقع الافتراضي ثنائي الأبعاد وشبكة تواصل اجتماعي، تضمن المراسلة الفورية ، وغرف الدردشة ، والتصفح التعاوني، والفعاليات والألعاب عبر الإنترنت، وتقنية الصوت عبر بروتوكول الإنترنت (VoIP ). طُوّر أول منتج للشركة، Virtual Places 1.0، على محطات عمل تعمل بنظام يونكس، وأُعلن عنه في نفس اليوم الذي أعلنت فيه شركة نتسكيب كوميونيكيشنز عن منتجاتها من المتصفحات والخوادم. أما Virtual Places 2.0، فكان يعتمد على نظام ويندوز ٩٥ وأجهزة الكمبيوتر الشخصية. بِيعت Ubique لشركة أمريكا أونلاين في عام ١٩٩٥ مقابل ١٤.٥ مليون دولار، [ ٤٦ ] ثم اشترتها إدارتها مرة أخرى في عام ١٩٩٧ ، وبِيعت مجددًا لشركة آي بي إم في عام ١٩٩٨، حيث شكلت تقنية Ubique أساس منتج المراسلة الفورية SameTime من آي بي إم.

لغات البرمجة الجزيئية

في ورقة بحثية نُشرت عام ٢٠٠٢ في مجلة Nature بعنوان "التجريدات الخلوية: الخلايا كحساب" [ ٤٧ ] ، طرح شابيرو، بالتعاون مع طالب الدكتوراه أفيف ريغيف، السؤال التالي: لماذا لا تستطيع دراسة الأنظمة الجزيئية الحيوية تحقيق قفزة حسابية مماثلة؟ فقد اعتمد كل من بحث التسلسل وبحث البنية تجريدات جيدة، مثل "الحمض النووي كسلسلة" و"البروتين كرسم بياني ثلاثي الأبعاد مُصنَّف"، على التوالي. كان الشابيرو يعتقد أن علوم الحاسوب قادرة على توفير التجريد المطلوب بشدة للأنظمة الجزيئية الحيوية. استخدم ريغيف وشابيرو معًا مفاهيم متقدمة في علوم الحاسوب لدراسة تجريد "الجزيء كحساب"، حيث يتم وصف نظام من الكيانات الجزيئية المتفاعلة ونمذجته بواسطة نظام من الكيانات الحسابية المتفاعلة. وقد طوّر شابيرو لغات حاسوبية تجريدية لتحديد ودراسة أنظمة الحسابات المتفاعلة، وذلك لتمثيل الأنظمة الجزيئية الحيوية، بما في ذلك المسارات التنظيمية والأيضية والإشاراتية، بالإضافة إلى العمليات متعددة الخلايا مثل الاستجابات المناعية. [ 48 ] [ 49 ]

استُكمل العمل (الذي استخدم في البداية حساب باي ، وهو حساب العمليات ) لاحقًا من قِبل شركة IBM كامبريدج في المملكة المتحدة ( لوكا كارديلي ) التي طورت SPiM (آلة حساب باي العشوائي). شهد هذا المجال ازدهارًا كبيرًا خلال العقد الماضي، مع تطبيقات متنوعة للغاية. وفي الآونة الأخيرة، تطور المجال ليُصبح مزيجًا من مجالين مختلفين : الحوسبة الجزيئية والبرمجة الجزيئية. [ 50 ] يُظهر هذا المزيج كيف يمكن لصيغ رياضية مختلفة (مثل شبكات التفاعلات الكيميائية ) أن تُستخدم كلغات برمجة، وكيف يمكن لبنى جزيئية متنوعة (مثل بنية جزيئات الحمض النووي DNA) من حيث المبدأ أن تُنفذ أي سلوك يُمكن التعبير عنه رياضيًا باستخدام الصيغة المستخدمة. [ 51 ] 

طبيب في زنزانة

بدمج علوم الحاسوب مع البيولوجيا الجزيئية، تمكن الباحثون من تطوير حاسوب بيولوجي قابل للبرمجة، قد يتنقل مستقبلاً داخل جسم الإنسان، لتشخيص الأمراض وتقديم العلاجات. هذا ما أطلق عليه شابيرو اسم "طبيب في خلية". صمم فريقه حاسوبًا على المستوى الجزيئي مصنوعًا بالكامل من جزيئات بيولوجية، يُجسد نموذجًا رياضيًا للحاسوب القابل للبرمجة يُسمى الأوتوماتا المحدودة ، [ 49 ] والذي يستخدم جزيء الحمض النووي (DNA) كوقود. [ 49 ] وقد حاز هذا الحاسوب الجزيئي على لقب غينيس للأرقام القياسية عام 2003 لأصغر جهاز حوسبة جزيئي. [ 52 ] ثم جرى تطوير الحاسوب الجزيئي بآلية إدخال وإخراج، بحيث يمكن برمجته - في أنبوب اختبار - لتحديد التغيرات الجزيئية في الجسم التي تُشير إلى وجود أنواع معينة من السرطان، وإطلاق جزيء دوائي استجابةً لذلك. وبذلك، أصبح الحاسوب قادرًا على تشخيص نوع السرطان بدقة، والتفاعل بإنتاج جزيء دوائي يُعيق نشاط الخلايا السرطانية، مما يؤدي إلى تدميرها الذاتي. [ 49 ] لهذا العمل كان عضوًا في قائمة "Scientific American 50" لعام 2004 [ 53 ] كقائد بحثي في ​​مجال تكنولوجيا النانو.

في عام ٢٠٠٩، قدّم شابيرو وطالب الدكتوراه توم ران نموذجًا أوليًا لنظام جزيئي ذاتي البرمجة، يعتمد على معالجة خيوط الحمض النووي ، وقادر على إجراء استنتاجات منطقية بسيطة . [ ٥٤ ] يُعدّ هذا النموذج الأولي أول لغة برمجة بسيطة تُطبّق على المستوى الجزيئي. وإذا ما أُدخل هذا النظام إلى الجسم، فإنه يمتلك إمكانات هائلة لاستهداف أنواع خلايا محددة بدقة وتقديم العلاج المناسب، إذ يمكنه إجراء ملايين العمليات الحسابية في الوقت نفسه والتفكير المنطقي.

هدف فريق شابيرو إلى جعل هذه الحواسيب قادرة على أداء مهام بالغة التعقيد والإجابة على أسئلة معقدة، وفقًا لنموذج منطقي اقترحه أرسطو لأول مرة منذ أكثر من ألفي عام. كما توصل الفريق إلى طريقة لجعل هذه الأجهزة الحاسوبية المجهرية سهلة الاستخدام من خلال إنشاء مُترجم - وهو برنامج يربط بين لغة برمجة حاسوبية عالية المستوى وشفرة الحوسبة في الحمض النووي. وسعى الفريق إلى تطوير نظام هجين ( حاسوبي / مخبري) يدعم إنشاء وتنفيذ برامج المنطق الجزيئي بطريقة مشابهة للحواسيب الإلكترونية، مما يُمكّن أي شخص لديه معرفة بتشغيل الحاسوب الإلكتروني، حتى بدون أي خلفية في علم الأحياء الجزيئي ، من تشغيل حاسوب حيوي جزيئي. 

في عام ٢٠١٢، نجح شابيرو وتوم ران وطلابهما في ابتكار جهاز جيني يعمل بشكل مستقل داخل الخلايا البكتيرية . [ ٥٥ ] تمت برمجة الجهاز لتحديد معايير معينة وإصدار استجابة مناسبة. يبحث الجهاز عن عوامل النسخ - وهي بروتينات تتحكم في التعبير الجيني داخل الخلية. يمكن أن يؤدي أي خلل في هذه الجزيئات إلى تعطيل التعبير الجيني . في بحث لاحق، أنتج بيننسون وفريقه حاسوبًا جزيئيًا يعالج نوعًا معينًا من السرطان في الفئران، [ ٥٦ ] بهدف إنتاج دواء للسرطان يعتمد على هذه الطريقة. [ ٥٧ ] 

تحرير الحمض النووي

ابتكر شابيرو طريقة فعّالة لتخليق جزيئات الحمض النووي الخالية من الأخطاء من وحدات بناء معرضة للأخطاء. [ 58 ] برمجة الحمض النووي هي نظير برمجة الحاسوب في مجال الحمض النووي. تتمثل دورة برمجة الحاسوب الأساسية في تعديل برنامج موجود، واختبار البرنامج المُعدَّل، والتكرار حتى الحصول على السلوك المطلوب. وبالمثل، تتمثل دورة برمجة الحمض النووي في تعديل جزيء الحمض النووي، واختبار سلوكه الناتج، والتكرار حتى تحقيق الهدف (سواء كان فهم السلوك أو تحسينه). [ 59 ]

أسس شابيرو اتحاد CADMAD، الذي هدف إلى إحداث ثورة في معالجة الحمض النووي مماثلة للثورة التي شهدها تحرير النصوص مع ظهور برامج تحرير النصوص الإلكترونية. وقد تحقق هذا الهدف في نهاية المطاف من قبل آخرين وبتقنية مختلفة - تقنية تحرير الجينات CRISPR . [ 35 ]

شجرة سلالة الخلايا البشرية

في عام 2005، قدم شابيرو وطلابه رؤية للتحدي الكبير التالي في علم الأحياء البشري: الكشف عن شجرة سلالة الخلايا البشرية . يوجد داخل كل شخص شجرة سلالة خلايا .

يُشابه التحدي المتمثل في الكشف عن شجرة سلالة الخلايا البشرية، من حيث طبيعته ونطاقه، التحدي الذي واجهه مشروع الجينوم البشري في بدايته، بل إن نتائجه ستُسهم إسهامًا حاسمًا في الترجمة الوظيفية والفهم النهائي لتسلسل الجينوم . ويتطلب نجاح مشروع سلالة الخلايا البشرية قفزة تكنولوجية هائلة تُضاهي تلك التي حدثت خلال مشروع الجينوم البشري، وقد يكون الأثر البيولوجي والطبي الحيوي لهذا النجاح مماثلًا، إن لم يكن أكبر، من أثر مشروع الجينوم البشري. في محاضرته في مؤتمر TEDxTel-Aviv بعنوان "الكشف عن شجرة سلالة الخلايا البشرية - التحدي العلمي الكبير التالي" [ 36 ] ، وصف شابيرو النظام والنتائج التي تم الحصول عليها حتى الآن، واقترح مشروعًا رائدًا ضمن مبادرة FET بعنوان "مبادرة سلالة الخلايا البشرية الرائدة" [ 37 ] للكشف عن شجرة سلالة الخلايا البشرية في الصحة والمرض. وكان هدف مشروع أطلس الخلايا البشرية، الذي أطلقه شابيرو سابقًا في عام 2016، هو... يهدف بحث الطالبة أفيف ريغيف وزملائها إلى تحديد أنواع الخلايا في جسم الإنسان، وهو ما يُعدّ خطوةً أساسيةً لتحديد شجرة سلالة الخلايا البشرية. 

المساواة في الديمقراطية الرقمية

أحدث الإنترنت ثورة في جميع مجالات المسعى البشري تقريبًا، باستثناء الديمقراطية. وانطلاقًا من حيرته إزاء هذه الظاهرة الفريدة، شرع شابيرو في استكشاف كيفية حدوث ثورة ديمقراطية عبر الإنترنت. وبالرجوع إلى وثيقة تأسيسية للديمقراطية الحديثة، وهي إعلان حقوق الإنسان والمواطن الفرنسي لعام 1789 ، استخلص شابيرو منها القيم التي ينبغي لأي ديمقراطية رقمية أن تتبناها، [ 18 ] مع وضع المساواة في المقام الأول.

لاحقًا، تناول شابيرو وفريقه في معهد وايزمان أبعاد المساواة المتعددة في الديمقراطية الرقمية: المساواة في التصويت، من خلال نظام الاختيار الاجتماعي المقاوم للهجمات الإلكترونية [مرجع]، الذي يهدف إلى دعم التصويت الديمقراطي رغم اختراق الهويات المزيفة والمكررة [ 60 ] للمجتمع الرقمي؛ والمساواة في تقديم المقترحات [ 61 ] ؛ والمساواة في المداولات وتشكيل التحالفات [ 62 ] [ 63 ] ؛ والمساواة في صياغة الدساتير [ 64 ] ؛ والمساواة في تفرع المجتمعات [ 65 ] .

الديمقراطية الرقمية الشعبية

لا تكتسب المساواة في إدارة أي مجتمع رقمي معنىً حقيقيًا إلا إذا انطبقت أيضًا على المنصة التي يعمل عليها هذا المجتمع. يهيمن على العالم الرقمي اليوم نوعان من المنصات: منصات استبدادية تعتمد على الخوادم/الحوسبة السحابية (مثل فيسبوك )، ومنصات رأسمالية تعتمد على إثبات العمل/الحصة (مثل بيتكوين / إيثيريوم )، ويفتقر إلى بديل ديمقراطي. ولمعالجة هذا النقص، يقدم شابيرو بنية بديلة ثالثة للعالم الرقمي، تُسمى "الديمقراطية الرقمية الشعبية". [ 20 ] وبصورة غير رسمية، يُعتبر النظام الموزع شعبيًا إذا كان بإمكانه امتلاك نسخ مستقلة، موزعة جغرافيًا وزمنيًا، قادرة على التفاعل فيما بينها بمجرد ربطها. ومن الأمثلة على ذلك شبكة اجتماعية لا تعتمد على الخوادم، وتدعم مجتمعات متعددة ناشئة بشكل مستقل، تندمج عندما يصبح أحد أعضاء مجتمع ما عضوًا في مجتمع آخر. [ 66 ]

قد تسمح التطبيقات الشعبية للأفراد بممارسة حياتهم الاجتماعية والاقتصادية والمدنية والسياسية في العالم الرقمي باستخدام أجهزة الحوسبة المتصلة بالشبكة التي يمتلكونها ويشغلونها فقط (مثل الهواتف الذكية)، دون سيطرة أو مراقبة أو تلاعب أو إكراه أو استخلاص قيمة من قبل جهات خارجية (على سبيل المثال، من قبل منصات رقمية عالمية مثل فيسبوك أو بيتكوين).

أطلق شابيرو مشروع "الحزب المفتوح" (الذي أصبح لاحقًا "المجتمع المفتوح") عام 2012 وقاده ضمن ورشة المعرفة العامة، والذي هدف إلى إرساء أسس عمل حزب إلكتروني يتبنى الديمقراطية المباشرة عبر الإنترنت [مرجع في المصدر]. وقد وسّع مفاهيمه عن الديمقراطية الإلكترونية في محاضرته في المنتدى الاقتصادي العالمي عام 2016 ومقال رأي في صحيفة فايننشال تايمز. وفي عام 2020، أسس الحزب السياسي "ديمقراطية" - الحرية والمساواة والإخاء. [ 24 ]

مراجع

  1. إيهود شابيرو في مشروع علم الأنساب الرياضي
  2. http://www.wisdom.weizmann.ac.il/~udi/ إيهود شابيرو في معهد وايزمان
  3. https://www.youtube.com/watch?v=GgS9myPsGUw من الحوسبة الجزيئية الحيوية إلى ديمقراطية الإنترنت | إيهود شابيرو في المنتدى الاقتصادي العالمي في دافوس،
  4. بوبر، كارل ر. (كارل رايموند)، 1902-1994. التخمينات والتفنيدات : نمو المعرفة العلمية. نيويورك: هاربر آند رو، 1968-1965.
  5. 1 2 3 شابيرو، إيهود ي. الاستدلال الاستقرائي للنظريات من الحقائق. نيو هيفن، كونيتيكت، الولايات المتحدة الأمريكية: جامعة ييل، قسم علوم الحاسوب، 1981.
  6. موغلتون، ستيفن ودي رايدت، لوك، البرمجة المنطقية الاستقرائية: النظرية والأساليب. مجلة البرمجة المنطقية، 19، 629-679. إلسيفير، 1994.
  7. 1 2 3 شابيرو، إيهود ي. (1983). تصحيح أخطاء البرامج الخوارزمية . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 0-262-19218-7.
  8. كاباليرو، رافائيل وريسكو، أدريان وسيلفا، جوزيب، دراسة استقصائية حول تصحيح الأخطاء الخوارزمية. مجلة ACM Computing Surveys (CSUR)، 50، 4، 1-35. ACM نيويورك، نيويورك، الولايات المتحدة الأمريكية، 2017.
  9. 1 2 3 شابيرو، إي. (1987). برولوج المتزامن: أوراق بحثية مجمعة . مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 978-0-262-19255-2.
  10. شابيرو، إيهود، عائلة لغات البرمجة المنطقية المتزامنة. مجلة ACM Computing Surveys (CSUR)، 21، 3، 413-510. ACM نيويورك، نيويورك، الولايات المتحدة الأمريكية، 1989.
  11. 1 2 نجاح حقيقي من الأماكن الافتراضية، WIS Wonder Wander، 1 أكتوبر 1996
  12. 1 2 إيهود شابيرو. آلة تورينج ميكانيكية: مخطط حاسوب جزيئي حيوي. تركيز الواجهة، 2(4):497–503، 2012.
  13. 1 2 بنيامين جيل، مايا كاهان هانم، نتاليا سكيرتنكو، ريفكا أدار، وإيهود شابيرو. الكشف عن مؤشرات مرضية متعددة بواسطة كمبيوتر جزيئي حيوي مستقل. رسائل النانو، 11(7):2989-2996، 2011.
  14. كوندون، آن، الأوتوماتا تصنع المعنى المضاد. مجلة نيتشر، 429، 6990، 351-352. مجموعة نيتشر للنشر، المملكة المتحدة، لندن، 2004.
  15. 1 2 فرومكين، د.، واسرستروم، أ.، كابلان، س.، فيج، يو.، وشابيرو، إي. (2005). التباين الجينومي داخل الكائن الحي يكشف عن شجرة سلالة خلاياه. مجلة PLoS لعلم الأحياء الحاسوبي، 1(5)، e50.
  16. أطلس بشري رباعي الأبعاد: رسم خرائط التطور البشري والشيخوخة في الصحة والمرض
  17. كالاواي، إيوين وآخرون، شجرة العائلة الأكثر تعقيدًا في علم الأحياء. مجلة نيتشر، 547، 7661، 20-2022. نيتشر، 2017.
  18. 1 2 3 شابيرو، إيهود (2018). "نقطة: أسس الديمقراطية الإلكترونية" . اتصالات رابطة آلات الحوسبة . 61 (8): 31-34 . arXiv : 1710.02873 . doi : 10.1145/3213766 . S2CID 215731619 . 
  19. إيهود شابيرو، نمرود تالمون، أسس الميتافيرس الديمقراطي الشعبي. arXiv:2203.04090
  20. 1 2 إيهود شابيرو، الأنظمة الموزعة الشعبية للسيادة الرقمية: المفهوم، الأمثلة، التنفيذ والتطبيقات. arXiv:2301.04391
  21. شولر، دوغلاس، وجهة نظر مضادة: الديمقراطية الإلكترونية لن تنقذ الديمقراطية. الديمقراطية ستنقذ الديمقراطية. اتصالات رابطة آلات الحوسبة، 61، 8، 34-36. رابطة آلات الحوسبة، نيويورك، نيويورك، الولايات المتحدة الأمريكية، 2018.
  22. 1 2 إيهود شابيرو، بنية شعبية لاستبدال المنصات الرقمية العالمية بديمقراطية رقمية عالمية. arXiv:2404.13468
  23. http://www.ba-rock.co.il/ الموقع الرسمي لشركة با روك
  24. 1 2 "الموقع الرسمي لـ "ديمقراطية"" .
  25. طبيب في زنزانة | مركز البحوث الأوروبية
  26. "وضع الأسس البيولوجية والحسابية والمعمارية لاكتشاف سلالة الخلايا البشرية" .
  27. شابيرو، إيهود ي.؛ ستيرلينغ، ليون (1994). فن البرولوج: تقنيات برمجة متقدمة . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 0-262-69163-9.
  28. أخبار الشركة؛ شركة آي بي إم تستحوذ على شركتين متخصصتين في برمجيات الاتصالات
  29. ريفكا أدار، يعقوب بينسون، غريغوري لينشيز، أميت روزنر، نفتالي تيشبي، وإيهود شابيرو. الحوسبة العشوائية باستخدام الأوتوماتا الجزيئية الحيوية. وقائع الأكاديمية الوطنية للعلوم، 101(27):9960–9965، 2004.
  30. بيني جيل، ومايا كاهان هانوم، وناتاليا سكيرتينكو، وريفكا أدار، وإيهود شابيرو. "طبيب في زنزانة" - الرؤية والإنجازات. في الحياة، الصفحة 165، 2010.
  31. يعقوب بننسون، تمار باز إليزور، ريفكا أدار، إيهود كينان، تسفي ليفنه، وإيهود شابيرو. آلة حوسبة مستقلة وقابلة للبرمجة مصنوعة من جزيئات حيوية. الطبيعة، 414(6862):430-434، 2001.
  32. يعقوب بننسون، بنيامين جيل، أوري بن دور، ريفكا أدار، وإيهود شابيرو. كمبيوتر جزيئي مستقل للتحكم المنطقي في التعبير الجيني. Nature, 429(6990):423–429, 2004.
  33. توم ران، شاي كابلان، وإيهود شابيرو. التنفيذ الجزيئي لبرامج منطقية بسيطة. مجلة نيتشر لتقنية النانو، 4(10):642، 2009.
  34. يحزقيل، توفال بن؛ لينشيز، غريغوري؛ كابلان، شاي؛ غروناو، إيلان؛ رافيد، سيفان؛ آدار، ريفكا؛ شابيرو، إيهود (2011). "البناء المتكرر وتصحيح الأخطاء لجزيئات ومكتبات الحمض النووي من الحمض النووي الاصطناعي والطبيعي". البيولوجيا التركيبية، الجزء ب - التصميم بمساعدة الحاسوب وتجميع الحمض النووي . طرق في علم الإنزيمات. المجلد 498. الصفحات 207-245 . doi : 10.1016/B978-0-12-385120-8.00010-3 . ISBN   978-0-12-385120-8PMID 21601680 
  35. 1 2 "تمهيد الطريق لتقنيات الحمض النووي الناشئة في المستقبل: التصميم والتصنيع بمساعدة الحاسوب لمكتبات الحمض النووي" .
  36. 1 2 "إيهود شابيرو: الكشف عن شجرة سلالة الخلايا البشرية" . tedxtelaviv.com . مؤرشف من الأصل بتاريخ 2014-04-07.
  37. 1 2 "مبادرة السلالة الخلوية البشرية الرائدة" . lineage-flagship.eu .
  38. بوبر، كارل (2004). التخمينات والتفنيدات: نمو المعرفة العلمية (طبعة مُعاد طباعتها ). لندن: روتليدج. ISBN  0-415-28594-1.
  39. شابيرو، إيهود ي. (1983). تصحيح أخطاء البرامج الخوارزمية . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 0-262-19218-7
  40. كلوكسين، ويليام ف.، كريستوفر س. ميليش، و دبليو إف كلوكسين. البرمجة بلغة برولوج . المجلد 4. برلين وغيرها: سبرينغر، 1987.
  41. ^ كاباليرو ، رافائيل. ريسكو، أدريان؛ سيلفا، جوزيب (2018). “مسح لتصحيح الأخطاء الخوارزمية”. مسوحات الحوسبة ACM . 50 (4): 1– 35. دوى : 10.1145/3106740 . اتش دي ال : 10251/151050 .
  42. https://www.wiley.com/en-us/Handbook+of+Software+Fault+Localization%3A+Foundations+and+Advances-p-978111929180 دليل تحديد موقع أخطاء البرمجيات: الأسس والتطورات. دبليو. إريك وونغ (محرر)، تي إتش تسيه (محرر)، مايو 2023.
  43. شابيرو، إيهود ي. (1983). "مشروع الجيل الخامس - تقرير رحلة". اتصالات رابطة آلات الحوسبة . 26 (9): 637-641 . doi : 10.1145/358172.358179 .
  44. شابيرو إي. مجموعة فرعية من برولوج المتزامن ومفسرها، تقرير ICOT الفني TR-003، معهد تكنولوجيا الحاسوب من الجيل الجديد، طوكيو، 1983. أيضًا في برولوج المتزامن: أوراق مجمعة، إي. شابيرو (محرر)، مطبعة معهد ماساتشوستس للتكنولوجيا، 1987، الفصل 2.
  45. فوروكاوا، كويتشي، وكازونوري أويدا. "GHC - لغة لعصر جديد من البرمجة المتوازية." أسس تكنولوجيا البرمجيات وعلوم الحاسوب النظرية: المؤتمر الثامن، بونا، الهند، 21-23 ديسمبر 1988، وقائع المؤتمر 8. سبرينغر برلين هايدلبرغ، 1988.
  46. لاندو، إيفي (21 مايو 1998). "كانت AOL تعني المتعة، أما IBM فتعني الأعمال" . جلوبز . تم الاطلاع عليه في 13 يوليو 2024 .
  47. ريجيف، أفيف، وإيهود شابيرو. "التجريدات الخلوية: الخلايا كحساب." نيتشر 419.6905 (2002): 343-343.
  48. سيوبانو، غابرييل (2004). "التحقق البرمجي من الأنظمة الجزيئية الحيوية" . النمذجة في البيولوجيا الجزيئية . سلسلة الحوسبة الطبيعية. ص 39-57 . doi : 10.1007/978-3-642-18734-6_3 . ISBN  978-3-642-62269-4.
  49. صفحة شابيرو على جوجل سكولار 1 2 3 4
  50. "الصفحة الرئيسية - MPPWiki" . مؤرشفة من الأصل بتاريخ 2014-01-08 . تم الاطلاع عليها بتاريخ 2014-05-04 .
  51. تشين، يوان-جيو، نيل دالتشاو، نيرانجان سرينيفاس، أندرو فيليبس، لوكا كارديلي، ديفيد سولوفيتشيك، وجورج سيليغ. "وحدات تحكم كيميائية قابلة للبرمجة مصنوعة من الحمض النووي." مجلة نيتشر لتقنية النانو 8، العدد 10 (2013): 755-762
  52. إنجاز شابيرو في موسوعة غينيس للأرقام القياسية
  53. "جائزة ساينتفك أمريكان 50 لعام 2004: قادة البحث" . ساينتفك أمريكان . 11 نوفمبر 2004. تاريخ الاسترجاع: 26 مارس 2007 .
  54. ران، توم؛ كابلان، شاي؛ شابيرو، إيهود (2009). "التنفيذ الجزيئي لبرامج منطقية بسيطة". مجلة نيتشر لتقنية النانو . 4 (10): 642-648 . Bibcode : 2009NatNa...4..642R . doi : 10.1038/nnano.2009.203 . PMID 19809454 . 
  55. ران، توم؛ دوك، يهوناتان؛ ميلو، ليلاخ؛ شابيرو، إيهود (2012). "جهاز قابل للبرمجة قائم على NOR لتحليل ملف تعريف النسخ" . التقارير العلمية . 2 641. Bibcode : 2012NatSR...2..641R . doi : 10.1038/srep00641 . PMC 3435560. PMID 22962635 .  
  56. أنجيليسي، بارتولوميو؛ شين، لينلينغ؛ شرايبر، يورغ؛ أبراهام، أنتوني؛ بيننسون، يعقوب (2021). "العلاج الجيني باستخدام الفيروسات الغدية المرتبطة (AAV) يعتمد على معالجة مدخلات خلوية متعددة لتمكين الاستهداف الدقيق لسرطان الخلايا الكبدية متعدد البؤر في الفئران". مجلة ساينس ترانسليشنال ميديسين . 13 (624) eabh4456. doi : 10.1126/scitranslmed.abh4456 . PMID 34910545 . 
  57. الصفحة الرئيسية لشركة Pattern Biosciences
  58. لينشيز، جي.، يحزقيل، تي بي، كابلان، إس.، غروناو، آي.، رافيد، إس.، أدار، آر.، وشابيرو، إي. (2008). البناء المتكرر لجزيئات الحمض النووي المثالية من قليل النوكليوتيدات غير المثالية. بيولوجيا الأنظمة الجزيئية، 4(1).
  59. شابي، يو.، كابلان، إس.، لينشيز، جي. وآخرون. معالجة جزيئات الحمض النووي كنص. علم الأحياء التركيبي النظامي 4، 227-236 (2010).
  60. غال شاهف، إيهود شابيرو، نمرود تالمون. مُعرّفات شخصية حقيقية وضمانات متبادلة لتكوين مجتمع مقاوم لهجمات سيبيل. arXiv:1904.09630
  61. لوران بولتو، غال شاهف، إيهود شابيرو، نمرود تالمون. التجميع عبر الفضاءات المترية: الاقتراح والتصويت في الانتخابات والميزانية والتشريعات. arXiv:1806.06277
  62. أوري بوبكو، غال شاهف، إيهود شابيرو، نمرود تالمون. بناء مجتمع رقمي مقاوم لهجمات سيبيل باستخدام اتصال الرسم البياني للثقة. arXiv:1901.00752
  63. إديث إلكيند، دافيد جروسي، إيهود شابيرو، نمرود تالمون. متحدون من أجل التغيير: تشكيل ائتلاف تشاوري لتغيير الوضع الراهن. arXiv:2001.08031
  64. بن أبراموفيتز، إيهود شابيرو، نمرود تالمون. في البدء كان هناك عدد من الوكلاء: تأسيس وتعديل الدستور. arXiv:2011.03111
  65. بن أبراموفيتز، إديث إلكيند، دافيد جروسي، إيهود شابيرو، نمرود تالمون. التفرع الديمقراطي: اختيار الجانب مع الخيار الاجتماعي. arXiv:2103.03652
  66. إيهود شابيرو، الشبكات الاجتماعية الشعبية: بروتوكولات بدون خوادم وبدون أذونات لتويتر/لينكدإن/واتساب. arXiv:2306.13941