CALM/arwiki huggingface dataset:
مثال على لغة حساسة للسياق لكنها ليست حرة السياق هو "L" = { "ap" : "p" is a prime number }. يمكن إثبات أن "L" لغة حساسة للسياق بإنشاء تشغيل آلي محدود خطيا يقبل "L". يمكن بسهولة إثبات أن اللغة ليست لغة عادية ولا لغة خالية من السياق بتطبيق جدل الضخ (pumping lemm) المناسب لكل فئة لغة على "L".
مثال على اللغة الاسترجاعية والتي ليست حساسة للسياق هو أي لغة استرجاعية والتي قرارها يقع ضمن مشكلة صعبة من فئة EXPSPACE-، مثلا مجموعة أزواج الالتعبيرات العادية مع الأساس.
خواص اللغات الحساسة للسياق.
عضوية عبارة في لغة معرّفة بنحوعشوائي حساس للسياق، أو بنحو عشوائي حتمي حساس للسياق، هو مشكلة من فئة مسائل PSPACE كاملة.
الرياجين البلازْمِي السَّريع اختبار يتم البحث عن اجسام مضادة ليست مخصصة للولبية الشاحبة المسببة لمرض الزهري.
هذا الاختبار يعتبر اختبار اولي فعال ويكون أيضاً جيد للكشف عن الأشخاص الذين لا يعانون من اي اعراض ويكونون مصابين بالمرض. وهذا الاختبار من الممكن أن تكون نتيجتة ايجابية ولكن الشخص ليس لدية المرض. النتيجة الايجابية الخاطئة يمكن ان تكون بسبب (الملاريا، الزهريفترة الحمل، التهاب الكبد، الحصبة، أمراض المناعة الذاتية هذا الاختبار لابد من أن يتبعه اختبار اللولبية الخاص. اختبار يعتمد على اجسام مضادة تكون مفرزة ضد الولبية الشاحبة. الاختبار أول يسمى تجمع دموي للولبية الشاحبة.
يوجد احتبار اخر يستخدم للكشف المبدئي عن الزهري ويسمى اختبار مختبر أبحاث الأمراض المنقولة جنسيا. اختبار الرياجين البلازْمِي السَّريع يستخدم أكثر شيوعاً.
اختبار اخر يسمى اختبار صورة شريط المناعية الدموي . ونشرت دراسة في هام 2006 تقول ان هذا الاختبار يتفوق اختبار الرَّاجِنَةُ البلازْمِيَّةِ السَّريعَة One of ن حيث مقدار الحساسية والاختصاص. اختبار امتصاص الأجسام المضادة للولبية الشاحبة الأكثر حساسية للكشف عن مرض الزهري.
بوريليا برغدورفيرية هي من البكتيريا تتبع البوريليا من ال البوريلية. وهي متواجدة بشكل كبير في شمال أمريكا، ولكنها أيضا تتواجد في أوروبا. تعتبر العامل المسبب لداء لايم.
تم تسمية البكتيريا بهذا لاسم يعود إلى مكتشف هذه البكتيريا ويلي برغدورفير .
التأثير المرضي.
داء لايم يعتبر مرض يأتي من الحيوانات وينتقل عبر القراد. هذه البكتيريا بإمكانها ان تعيش في حال عدم توفر الحديد وتعوضها باستخدام انزيمات تستخدم ال منغنيز.
تم ربط الإصابة بهذه البكتيريا مع ليمفوما غير الهودجكن بالإنجليزية: non-Hodgkin lymphomas
"بوريلا بورجدوفيري" كانت ثالث ميكروب يتم معرفة السلسلة اجينية من كل الميكروبات بعد هيموفيلس انفلونزي بالإنجليزية: مستدمية نزلية وميكوبلازما جينيتاليم بالإنجليزية: مفطورة تناسلية.
داء لايم يتضمن طفح على العين بالإنجليزية: bull's eye rash والحمى المتنقلة المزمنة بالإنجليزية: erythema chronicum migrans وأيضا التهاب عضلة القلب والتهاب المفاصل واضطراب في نبضات القلب وامراض عصبية.
داء لايم يعتبر شائع في الولايات المتحدة الأمريكية.
التطويب هي المرحلة الثالثة من الخطوات الأربعة لعملية تقديس شخص متوفى، يتم اختياره من قبل البابا باسم الكنيسة الكاثوليكية. في العادة يتم الاحتفال بالتطويب في المنطقة التي طلبت تقديس الشخص المتوفى. يطوب الكاهن عندما يحقق معجزة معينة، وتعلن قداسة الطوباوي بعد دعوى جديدة، وتتطلب حصول معجزة أخرى بشفاعته.
في المنطق الرياضي وعلم الحاسوب، فان نجمة كلين (أو مشغل كلين أو الانغلاق كلين) عملية أحادية، إما على مجموعة من الكلمات أو على مجموعة من الرموز أو الحروف. يتم كتابة تطبيق النجمة كلين للمجموعة "V" على النحو "V" *. ويتم استخدامها على نطاق واسع لأشكال التعابير النمطية، وهو السياق الذي قدم من قبل كلين ستيفن لتوصيف نظرية التشغيل الذاتي بعينها، حيث تعني "صفر أو أكثر".
يتم استخدام العمليات في إعادة كتابة القواعد للقواعد المحدثة.
التعريف والتدوين.
المعطى
يحدد بشكل تكراري المجموعة
إذا كانت formula_4 لغة رسمية، إذا formula_5 والتي هي القوة (الاس) الذي يرمز له ب "i"-th من المجموعة formula_4 ، يعتبر اختصار لتسلسل
المجموعة formula_4 مع نفسها i من مرات. ولذا formula_5 يمكن أن يتم فهمه على انه مجموعة لجميع الكلمات التي يمكن أن تتمثل على نحو تسلسل للكلمة "i" في المجموعة formula_4.
تعريف النجمة كلين هو formula_10
ولذا هذا هو تجميع لكافة السلاسل محدودة الطول المحتملة المتولدة من الرموز في formula_4.
في بعض دراسات اللغة الشكلية، (مثل نظرية أفل) فان الاختلاف على عملية نجمة كلين سميت باسم "كلين زائد" وتم استخدامها بالفعل. وزائد كلين يحذف الحد formula_12 في الاتحاد أعلاه. وبعبارة أخرى، زائد كلين هي في المجموعة formula_4 formula_4 is
بالإضافة إلى ذلك، يتم استخدام نجمة كلين في النظرية المثالية.
امثلة على تطبيق نجمة كلين على مجموعة من السلاسل:
امثلة على تطبيق نجمة كلين على مجموعة من الأحرف:
امثلة على تطبيق نجمة كلين على المجموعة الفارغة:
امثلة على تطبيق زائد كلين على المجموعة الفارغة:
لاحظ انه لكل مجموعة "L", formula_18تساوي التسلسل في "L" معformula_19.
للمقارنة formula_19 يمكن كتابتها مثل formula_21.
العمليات formula_18 and formula_19 يمكن ان تصف المجموعة ذاتها فقط وفقط إذا كانت المجموعة "L" قيد البحث تتضمن العبارة الفارغة.
السلاسل التي تشكل البنية الجبرية مونويد مع تسلسل كما في العملية الثنائية وλ العنصر المحايد. يتم تعريف نجمة كلين لأي مونويد وليس فقط للسلاسل. بالتحديد، فلتكن formula_24 مونويدformula_25. ثم formula_26 هي أصغر مونويد فرعية ل formula_27 تحتوي على formula_28، ولهذا ، formula_26 تتضمن العنصر المحايد من formula_24، وهو مجموعة formula_24 ، وبحيث لو formula_32 إذا formula_33.
تم العثور على تعريف نجمة كلين في تقريبا كل في كتاب عن نظرية كاشف التسلسل. المرجع النوذجي ما يلي:
النظرية العلمية هي التفسير الأفضل للحقائق التي نشاهدها حولنا في الطبيعة والتي يجري الوصول إليها باستخدام الأساليب العلمية، والتي تختبر مراراً وتكراراً وتؤكد باستخدام الملاحظة والتجربة. النظريات العلمية هي الشكل الأكثر موثوقية، ودقة، وشمولاً للمعرفة العلمية.
من المهم جداً أن نفرق بين استخدام النظرية في مجال العلوم وبين استخدامها عند عامة الناس. وهو الخطأ الذي يقع فيه المعظم، فعند العامة تكون عادة بمعنى حدس أو رأي أو فرضية أو تنبؤ، وهذا الاستخدام هو النقيض لمعنى النظرية عند العلماء. يستخدم العلماء النظريات العلمية كأساس لاكتساب مزيد من المعرفة، ومن أجل تحقيق أهداف مثل اختراع التكنولوجيا أو علاج الأمراض. والمعرفة المكتسبة من خلال النظريات العلمية تعتبر استقرائية واستنباطية في الطبيعة، بمعنى أن لها قدرات تفسيرية وتنبؤية.
قال عالم الأحافير، والبيولوجيا التطورية، ستيفن جاي غولد: "الحقائق والنظريات هما أمران مختلفان، ولكنهما ليسا درجات في التسلسل الهرمي من ازدياد اليقين. الحقائق هي البيانات العالمية، بينما النظريات هي الهيكليات التي تشرح وتفسر هذه الحقائق."
النظريات باعتبارها نماذج.
كان الموقف المهمين في فلسفة العلوم هو الرؤية المتلقاة received view للنظريات – وقد ساد هذا الموقف في التجريبية المنطقية خلال النصف الثاني من القرن العشرين. بيد أن هذه الرؤية استبدلت لاحقًا بالرؤية السيمانطيقية view semantic والتي تربط بين النظريات العلمية بالنماذج وليس بالافتراضات.
وتوضع النظريات في الغالب لكي تشرح وتصف الظواهر (مثل الجوامد غير الحية أو الأحداث أو سلوك الحيوان) وتتنبأ بها. ويمكن النظر للنظرية العلمية باعتبارها أحد النماذج التي تصف الواقع، كما يمكن النظر لعباراتها كمسلمات تنتمي لنظام مسلمات (أو بديهيات) معين. والهدف من وضع النظرية هو إنشاء نسق شكلي يكون الواقع هو النموذج الأوحد له. والعالم هو تفسير (أو نموذج) لهذه النظريات العلمية، ولكن بالقدر الذي تتسم فيه هذه العلوم بأنها صحيحة.
الوصف والتنبؤ.
أورد العالم الفيزيائي ستيفن هوكينغ في كتابه (تاريخ موجز للزمان) تعريفًا يمثل صدى لأفكار للفيلسوف كارل بوبر مؤداه أن "أي نظرية هي نظرية جيدة إذا ما لبت شرطين: الأول أن تصف بدقة مجموعة هائلة من المشاهدات وذلك على أساس نموذج يتضمن أقل قدر ممكن من العناصر العشوائية، والثاني هو أن تضع تنبؤات حاسمة عن نتائج المشاهدات المستقبلية". ثم يستطرد (هوكنج) قائلاً: "النظريات الفيزيائية تكون مؤقتة دائمًاً، بمعنى أنها لا تعدو أن تكون مجرد فرضيات لا يمكن إثباتها أبدًا. ومهما بلغ عدد المرات التي اتفقت فيها نتائج التجارب مع نظرية معينة، فلا يمكنك التيقن أبدًا من أن النتيجة في المرة التالية ستأتي غير متعارضة مع النظرية. ومن جهة أخرى، يمكنك تفنيد أي نظرية إذا ما عثرت ولو على مشاهدة واحدة لا تتفق مع تنبؤات النظرية". وعليه فإن كون النظريات "غير قابلة للإثبات وقابلة في الوقت ذاته للتكذيب" هو إحدى النتائج.
أهمية الافتراضات في صياغة النظريات.
ويتبنى هذه الرؤية الكاتب المعروف إسحاق أسيموف. ففي كتابه (فهم الفيزياء)، تحدث أسيموف عن النظريات كـ "حجج منطقية" يقوم المرء فيها باستنتاج "مخطط" أو نموذج. وتبدأ القضايا الجدلية أو النظريات دومًا انطلاقًا من بعض المقدمات – والتي يصفها (هوكنج) بأنها "عناصر عشوائية" (انظر عاليه) – والتي نصفها هنا بـ "الافتراضات". والافتراضات – وفقاً لأسيموف – هي...
... شيء نقبله بدون برهان، وليس من قبيل الدقة أن نصف فرضية معينة بأنها صحيحة أو خاطئة؛ ذلك أنه لا توجد طريقة لإثبات كونها صحيحة أو خاطئة (فإن وجدت هذه الطريقة، فلا يجوز عندئذٍ اعتبارها افتراض). ومن الأفضل النظر للافتراضات باعتبارها مفيدة أو غير مفيدة، وذلك اعتمادًا على مدى توافق الاستدلالات المستخرجة منها مع حقائق الواقع... ومن جهة أخرى، يبدو واضحًا أن الافتراضات هي النقاط الأضعف في أي حجة منطقية، حيث يلزم قبولها بناءً على إيمان بفلسفة علوم تستمد فخرها من جذورها العقلانية. ولأننا ملزمون بالبحث عن نقطة انطلاق معينة، فلا سبيل أمامنا سوى هذه الافتراضات، مع ضرورة الحرص على الانطلاق من أقل عدد ممكن من الافتراضات قدر الإمكان.
مثال من نظرية النسبية الخاصة.
بوسعنا أن نرى مثالاً على استخدام الافتراضات في صوغ النظريات من الأسلوب الذي صاغ به ألبرت أينشتاين نظريته للنسبية الخاصة. حيث اتخذ ظاهرتين تم مشاهدتهما – الملاحظة الأولى أن "إضافة السرعات" أمر جائز (تحويل جاليليو)، وأن الضوء لا تنطبق عليه خاصية "إضافة السرعات" (تجربة ميكلسون ومورلي). وقد افترض (آينشتاين) صحة المشاهدتين، وصاغ نظريته بناء على هذه الافتراضات، وذلك بإجراء تغيير بسيط على تحويل جاليليو لاستيعاب غياب خاصية إضافة السرعات فيما يتعلق بسرعة الضوء. ومن ثم فإن النموذج الذي أنشأته هذه النظرية يقوم بالتالي على افتراض ثبات سرعة الضوء.
مثال من بطليموس.
يمكن أن نرى مثالاً آخر على كون النظريات نماذج من النظريات الخاصة بمنظومة دوران الكواكب. فقد صاغ الإغريق نظريات دوّنها العالم الفلكي (بطليموس. وكانت الأرض وفقًا للنموذج البطليموسي تشغل مركز المنظومة، فيما كانت بقية الكواكب والشمس تتخذ أفلاكًا دائرية حولها، أما النجوم فكانت تتوزع على قبة كروية تقع خارج أفلاك الكواكب والأرض. ووفق هذا النموذج، فسّر (بطليموس) الحركة التراجعية للكواكب بأنها نتيجة وجود أفلاك دائرية أصغر للكواكب الدائرة حول الأرض. ويمكن توضيح هذه النظرة كنموذج، بل ويمكن صياغتها حرفيًا. ويمكن وضع الحسابات الرياضية التي تتنبأ على قدر كبير من الدقة بالموضع الذي تتخذه الكواكب بعد زمن معين. وقد ظل نموذج بطليموس هو النموذج السائد لقرابة 1500 عامًا حتى مجيء عصر كوبرنيكوس. وبذلك نرى أن النظرية هي عبارة عن "نموذج للواقع" يشرح بعض الحقائق العلمية المعينة؛ إلا أنها قد لا تعطي رغم ذلك صورة مرضية عن الواقع. فقد تنشأ نظرية أخرى أكثر مقبولية تحل محل النموذج السابق، على غرار ما حدث عندما حلت نظرية كوبرنيكوس محل نظرية بطليموس. أو قد تُستخدم نظرية جديدة لتعديل نظرية أقدم، مثلما فعل (آينشتاين) عندما عدّل الميكانيكا النيوتونية (والتي لا تزال تُستخدم إلى اليوم لحساب أفلاك الكواكب أو وضع نماذج بمسارات السفن الفضائية) بنظريته النسبية.
الفرق بين النظرية والنموذج.
ويقع في القلب من النماذج، من النماذج العامة وحتى النماذج المقياسية، توظيف عملية التمثيل representation لكي تصف جوانب معينة من إحدى الظواهر أو شكل للتفاعل بين مجموعة من الظواهر. فمثلاً، لا يمكن القول بأن النموذج المقياسي سواء لمنزل أو لمجموعة شمسية هو نفسه المنزل أو النظام الشمسي الحقيقي؛ فالأصح منه أن نقول بأن بعض الجوانب الخاصة بالمنزل أو النظام الشمسي الفعلي والممثلة في النموذج المقياسي إنما تمثل فقط، وفي إطار محدود معين، الكيان الفعلي الواقعي. أما في إطار معظم الجوانب المهمة، فهذا النموذج المقياسي للمنزل ليس هو المنزل الفعلي. وقد صرح عدة معلقين (E.G., Reese &amp; Overton 1970; Lerner, 1998; Lerner &amp; Teti, 2005، وذلك في إطار الحديث عن نمذجة السلوك البشري، أن الفارق الأكثر أهمية بين النظريات والنماذج يكمن في أن الأولى تشرح وتصف، فيما الثانية يقتصر دورها فقط على التفسير (بيد أنها تظل قادرة على التنبؤ وإن يكن بشكل محدود). أما النماذج والنظريات العامة، ووفقًا للفيلسوف ستيفن بيبر (1948) – والذي وضع هو الآخر تمييزًا بين النظريات والنماذج – يفتم التنبؤ بها بناء على استعارة جذرية root hypothesis تقوّض الكيفية التي يقوم بها العلماء بوضع نظرياتهم ونمذجة أي ظاهرة، والوصول بذلك إلى فرضيات قابلة للاختبار. وقد درجت العلوم الهندسية على الفصل والتمييز بين "النماذج الرياضية" و"النماذج الفيزيائية".
المعايير الأساسية.
إن أبرز ما يسم أي نظرية علمية هو أنها تضع تنبؤات قابلة للتكذيب أو للاختبار. وصحة هذه التنبؤات ودقتها هي التي تحدد مدى فائدة النظرية. فأي نظرية لا تضع تنبؤات يمكن ملاحظتها ومشاهدتها لا تكون نظرية مفيدة. كذلك فالتنبؤات التي لا تتناول جوانب محددة يمكن إخضاعها للاختبار ليست مفيدة بالمثل. وفي كلا الحالتين، لا يجوز استخدام مصطلح "نظرية".
ومن الناحية التطبيقية، لا يطلق لفظ "نظرية" على أي مجموعة توصيفية من المعارف إلا إذا تضمنت حدًا أدنى من الأسس الإمبريقية، وذلك وفقًا لمعايير معينة، وهي:
المعايير غير الأساسية.
أضف إلى ذلك، لا تؤخذ أي نظرية على محمل الجد إلا إذا:
وتصح المعايير السابق على عدد من النظريات المشهورة مثل نظرية النسبية العامة والخاصة وميكانيكا الكم وحركة الصفائح التكتونية الخ. فالنظريات التي تُعد علمية تحقق على الأقل معظم، إن لم يكن كل، هذه المعايير.
ولا يُشترط في النظريات أن تبلغ مستويات مثالية من الدقة لكي تكون مفيدة علميًا.
المعايير التي تحدد ‘علمية’ نظرية معينة.
ذكر الفيلسوف (كارل بوبر) سمات النظرية العلمية على النحو التالي:
1- من السهل الحصول على تأكيدات أو براهين لكل النظريات تقريبًا – وذلك إذا كنا نفوسنا تتطلع لهذه التأكيدات.
2- لا يكون للتأكيدات أهمية إلا إذا جاءت نتيجة لتنبؤات تتسم بالمجازفة؛ بمعنى أنه إذا لم تنر النظرية بصيرتنا بخصوص التوصل لنتائج معينة، كان علينا أن نتوقع حدثًا غير متوافق مع النظرية – أي حدث له أثره في تفنيد النظرية.
3- إن كل نظرية علمية "جيدة" تحظر حدوث أشياء معينة، وكلما ازداد عدد الأشياء التي تحظرها النظرية، كلما كانت أفضل.
4- النظريات غير القابلة للتفنيد بواسطة حدث معين قابل للإدراك، فإنها تكون نظريات غير علمية. والتفنيد هنا ليس فضيلة للنظرية (كما يعتقد الناس) بل هو نقيصة.
5- كل محاولة اختبار أصيلة للنظرية هو محاولة لتكذيبها أو لتفنيدها. وهذه القابلية للاختبار testability هي نفسها القابلية للتكذيب؛ بيد أن هناك درجات من القابلية للاختبار: فبعض النظريات تكون أكثر قابلية للاختبار وأكثر عُرضة للتفنيد عن نظريات أخرى؛ وبالتالي فإنها تتحمل مجازفات أكبر.
6- لا تكون البراهين المؤكِّدة مهمة إلا إذا ترتبت على عملية اختبار أصيلة للنظرية؛ وهذا يعني أنه من الممكن طرحها كمحاولة جادة ولكن غير ناجحة لتكذيب النظرية (أنا هنا أتحدث عن حالات من "البراهين المؤيدة أو المكملة")
7- بعض النظريات القابلة للاختبار يظل المعجبون بها على اعتناقهم لها حتى عندما يُكتشف أنها مزيفة – حيث يطرحون مثلاً افتراضات إضافية تواءم الوضع الجديد للنظرية، أو يعيدون تفسيرها أيضًا بما يتوافق مع الحقائق الجديدة، وبشكل يتلافى التفنيد. وهذا الإجراء يكون ممكنًا دائمًا، ولكنه ينقذ النظرية من التفنيد على حساب تدمير، أو على الأقل تقليل، وضعيتها العلمية. (وستجدوني أصف لاحقًا عملية الإنقاذ تلك بأنها محاولة التفاف أو خديعة لإثبات القديم).
ويمكن تلخيص كل سابق بالقول بأن بوبر يرى أن المعيار الذي يحدد الحالة العلمية لأي نظرية يكمن في قابليتها للتكذيب أو التفنيد أو الاختبار.
بيد أن عددًا من الفلاسفة ومؤرخي العلوم قد ذهبوا إلى خطأ تعريف (بوبر) للنظريات كمجموعة من العبارات القابلة للتكذيب، ومنهم فيليب كيتشر الذي علل ذلك بأنه إذا أخذ المرء رؤية (بوبر) لمعنى "النظرية" على محمل صارم، لأدت الملاحظات عن كوكب أورانوس عندما تم اكتشافه لأول مرة في 1781 إلى "تكذيب" ميكانيكا الأجرام السماوية لنيوتن. إلا أن ما حدث أن العلماء افترضوا أن ثمة كوكب آخر كان يؤثر على مدار أورانوس – وقد ثبتت صحة هذا التنبؤ في النهاية.
إلا أن (كيتشر) يتفق مع (بوبر) في أن"من المؤكد أن هناك شيءًا من الصحة في فكرة أن أي علم لا يمكنه أن ينجح إلا إذا كان بإمكانه أن يفشل". كما أخذ في الاعتبار أيضاً انتقادات (هيمبل) و(كوين) لـ (بوبر)، والتي مؤداها أن النظريات العلمية تشتمل على عبارات لا يمكن تكذيبها (ربما تكون ما قصده هوكنج من حديثه عن ‘العناصر العشوائية’)، وأن النظريات الجيدة يجب كذلك أن تكون مبتكرة. ويصر (كيتشر) على أن تكون نظرتنا للنظريات العلمية كـ "مجموعة محكمة من العبارات"، والتي بعضها غير قابل للتكذيب، فيما البعض الآخر – والتي يطلق عليها اسم "الفرضيات المساعدة" – هي كذلك.
وفي ضوء أفكار (كيتشر)، ينبغي أن تتوافر في النظريات العلمية الجيدة الخصائص الثلاث التالية:
1- الوحدة: "يجب أن يكون العلم موحّدًا... والنظريات الجيدة تتكون من إستراتيجية واحدة فقط للحل، أو مجموعة صغيرة من استراتيجيات الحل، والتي يمكن أن تنطبق على مجموعة كبيرة من المشكلات" (1982:47)
2- الخصوبة والإثمار: "أي نظرية علمية عظيمة، مثل نظرية نيوتن، تفتح مجالات جديدة للبحث العلمي... وذلك لأن أي نظرية تقدم طريقة جديدة للنظر إلى العالم، ويمكن أن تقودنا إلى طرح أسئلة جديدة، ومن ثم تدفعنا إلى العمل على فروع جديدة ومثمرة من البحث العلمي... وعادة، يكون أي علم مزدهر ناقصًا. ففي أي لحظة يطرح أي علم تساؤلات تفوق قدرته على الإجابة عليها. ولكن هذا النقص هنا ليس عيبًا. فعلى العكس نجده مصدرًا لخصوبة العلم وقدرته على الإنتاج... النظرية الجيدة يجب أن تكون منتجة؛ أي ينبغي أن تطرح أسئلة جديدة وتفترض إمكانية إجابة هذه التساؤلات بدون التخلي عن استراتيجياتها للحل" (1982: 47-48).
3- الفرضيات المساعدة القابلة للاختبار بشكل مستقل: "ينبغي أن تكون أي فرضية مساعدة قابلة للاختبار بشكل مستقل عن المعضلة التي وضعت لحلها، وبشكل مستقل عن النظرية التي صُمّمت لإنقاذها" (1982:46) (مثلما أن الدليل على وجود نبتون مستقل عن الشذوذ في مدار أورانوس).
وعلى غرار تعريفات أخرى للنظريات، ومنها تعريف (بوبر)، يوضح (كيتشر) أن أي نظرية جيدة تتضمن عبارات لها "تبعات من ناحية الملاحظة"، على حد تعبيره. ولكن، على غرار أشكال عدم الانتظام في مدار أورانوس، لا يعتبر التكذيب سوى واحد فقط من التبعات الممكنة للملاحظة. ويعد إنتاج الفرضيات الجديدة تبعة أخرى ممكنة للملاحظة – وعلى نفس الدرجة من الأهمية.
في علم الفيزياء، تُستخدم كلمة (نظرية) بصفة عامة للإشارة إلى إطار رياضي – مستمد من مجموعة صغيرة من المُسلّمات الأساسية (عادة تناظرات 0 على غرار تساوي المواقع في المكان أو في الزمن، أو هوية الإلكترونيات، الخ) – قادر على إنتاج تنبؤات تجريبية لفئة معينة من الأنظمة الفيزيائية. وأبرز الأمثلة على ذلك الكهرومغناطيسية الكلاسيكية، والتي تشتمل على النتائج المشتقة من التناظر القياسي gauge symmetry (ويُسمّى أحيانًا ‘ثبات المقاييس’) على هيئة مجموعة قليلة من المعادلات يطلق عليها معادلات ماكسويل. لاحظ أن الجوانب النظرية المعينة لنظرية الكهرومغناطيسية الكلاسيكية، والتي استمر العمل بها بنجاح لأكثر من قرن، يطلق عليها اسم "قوانين الكهرومغناطيسية"، وهو ما يوضح أنها تعتبر اليوم في عداد المسلمات. وضمن نظرية الكهرومغناطيسية عموماً، نجد عدد هائل من الفرضيات تتناول كيفية انطباق الكهرومغناطيسية على عدد من الأوضاع المحددة. والكثير من هذه الفرضيات تعتبر نالت كفايتها من الاختبار، مع نشوء فرضيات جديدة لا تزال قيد الإعداد وربما لم يختبرها أحد بعد. ومن الأمثلة على تلك الأخيرة قوة التفاعلات الإشعاعية، حيث لم يمكن مطلقًا ملاحظتها بشكل مباشر، ولكن تأثيرها على الحركة الدورية للشحنات – وذلك على فترة زمنية متوسطة – يمكن اكتشافه في معجّلات السنكروترونز synchrotrons. ويبحث بعض العلماء حاليًا إمكانية تصميم تجارب قادرة على كشف آثار هذه القوة على المستوى اللحظي (وليس على المتوسط الزمني لفترات الحركة الدورية).
التعريف التربوي للنظريات.
في المؤلفات التعليمية أو في الإعلانات الرسمية للهيئات والمؤسسات العلمية، تنتشر تعريفات للنظريات على غرار التعريف التالي:
فوفقاً لأكاديمية العلوم الوطنية الأمريكية،
يختلف التعريف الرسمي للنظرية تمامًا عن المعنى اليومي لها. حيث يُقصد بالكلمة أي تفسير شامل لظاهرة معينة من ظواهر الطبيعة وتؤيدها مجموعة كبيرة من الأدلة. وهناك الكثير من النظريات العلمية التي تتسم برسوخ هائل يجعل من غير المحتمل أن تظهر أدلة جديدة تؤدي لإدخال تعديلات هائلة فيها. فمثلاً، لا توجد أدلة جديدة يمكنها أن تظهر أن الأرض لا تدور حول الشمس (نظرية الشمس المركزية) أو أن الكائنات الحية غير مكونة من خلايا (نظرية الخلية)، أو أن المادة لا تتألف من ذرّات، أو أن سطح الأرض غير مقسم إلى صفائح صلبة تحركت على مدار فترات زمنية جيولوجية (نظرية حركة الصفائح التكتونية). ومن بين السمات المفيدة للنظريات العلمية إمكانية استخدامها لوضع تنبؤات حول الأحداث أو الظواهر الطبيعية التي لم تجر ملاحظتها بعد.
وطبقًا لهذا التعريف، يجب على أي نظرية أن تؤيدها جيدًا مجموعة من الأدلة. كما أن كلمة "نظرية" لا تلائم وصف الفرضيات غير المختبرة ولكنها معقدة، أو حتى وصف النماذج العلمية. وقد يجد المعنيون بالعلوم التعريف السابق مفيدًا عند تقييم صلاحية و/أو كفاءة نظرية من النظريات.
معنى كلمة (نظري).
يُستخدم مصطلح نظري theoretical أحيانًا محل كلمة افتراضي hypothetical لوصف نتيجة تنبأت بها نظرية معينة ولكنها لم تُختبر بشكل كاف من خلال الملاحظة أو التجربة. وليس بغريب أن تضع أي نظرية تنبؤات معينة تثبت التجربة لاحقاً صحتها أو عدم صحتها. والتنبؤ الذي يثبت بالتجربة عدم صحته يظهر أن الفرضية غير صحيحة. وهذا إما يعني أن النظرية غير صحيحة أو أن الفرضية التجريبية كانت خطأ وأن النظرية لم تتنبأ بالفرضية.
القوانين العلمية.
تشبه القوانين العلمية النظريات العلمية من حيث أنها قواعد يمكن استخدامها للتنبؤ بسلوك العالم الطبيعي. وكلا من القوانين العلمية والنظريات العلمية تأتي في العادة مدعومة بالملاحظات و/أو الأدلة التجريبية. وعادة ما تشير القوانين العلمية إلى القواعد التي تحكم سلوك الطبيعية تحت ظروف وشروط معينة. أما النظريات العلمية فهي تفسيرات أكثر شمولية لطريقة عمل الطبيعة وتعليل السبب وراء إبداءها لخصائص معينة.
ومن الاعتقادات الخاطئة الشائعة أن النظريات العلمية هي أفكار ابتدائية ستستقر في النهاية في صورة قوانين علمية بعدما تتوافر البيانات والدلائل الكافية عليها. ولكن النظريات لا تتحول إلى قوانين علمية لمجرد تراكم أدلة جديدة أو أدلة أفضل. فالنظرية ستظل نظرية دائمًا، والقانون سيظل قانوناً دائمًا.
الحوسبة
مصطلح عام يطلق على أي نوع من العمليات الحسابية « calculation » تتبع نموذجا محددا جيد الفهم أو معرف بشكل جيد يسهل فهمه والتعبير عنه مثل خوارزميات وهو يشمل كذلك البيانات الرقمية، على سبيل المثال وليس الحصر. ويشمل الظواهر التي تتراوح ما بين التفكير البشري وحتى الحسابات ذات المعنى الأضيق نطاقاً. والحوسبة عملية تتلو نموذجاً محدداً يكون مفهوماً ويمكن التعبير عنه في خوارزمية أو بروتوكول أو طوبولوجيا الشبكات...الخ. كما أن الحوسبة موضوع رئيسي في علوم الحاسب الآلي: حيث يتحرى ما يمكنه أو ما لا يمكنه القيام به بشكل حوسبي.
دراسة الحوسبة أمر بالغ الأهمية لفروع المعرفة لعلوم الكمبيوتر.
الحوسبة كظاهرة فيزيائية.
يمكن أن تعتبر الحوسبة ظاهرة فيزيائية تحدث داخل نظام فيزيائي مغلق يسمى الحاسب الآلي. ومن الأمثلة على تلك الأنظمة الفيزيائية الحواسب الرقمية والحواسب الآلية وحواسب الكوانتوم وحواسب الدي إن أيه والحواسب الجزيئية والحواسب التماثلية. وقد تبنى وجهة النظر هذه فرع من الفيزياء النظرية يسمى فيزياء الحوسبة.
بل أن هناك وجهة نظر راديكالية أخرى ترى أن تطور الكون نفسه عبارة عن عملية حوسبة – وهي تسمى .
نماذج رياضية على الحوسبة.
شهدت نظرية الحوسبة تطويرا لعدد من النماذج الرياضية للحواسب الآلية. ومن أهم النماذج الرياضية للحواسب الآلية ما يلي:
فئات الحوسبة.
يمكن تصنيف الحوسبة إلى ثلاث معايير أورثوغونية على الأقل: الرقمية مقابل اليدوية، التزأمنية مقابل المتوازية مقابل المتزامنة، والجمعية مقابل التفاعلية.
ومن الناحية العملية، فإن الحوسبة الرقمية تستخدم غالباً لمحاكاة عمليات طبيعية (ومن ذلك الحوسبة التطويرية)، بما في ذلك تلك التي توصف بشكل طبيعي بنماذج حوسبة تماثلية (ومن ذلك الشبكة العصبية الاصطناعية).
لكلمة حوسبة Computation معنى قديم (جذوره لاتينية)، ولكن الكلمة عادت تستخدم مع ظهور وتطور علوم الحاسب الآلي.
« Physical information »
« Real computation »
« Reversible computing »
« Hypercomputation »
الحدود البحرية، هي الحدود التي تُحدد نطاقات الولاية البحريّة للدولة الساحلية، وتُسمّى أيضاً "خطوط في البحر" ، وتتضمن خطوط الأساس، وحدود الحافة القارية أو المنطقة الاقتصادية الخالصة، والحدود بين الدول ذات السواحل المتجاورة والمتقابلة.
تليفزيون المحور شاشة تلفزيون مصرية خاصة تمتلكها مجموعة سما جروب المملوكة لرجل الأعمال حسن راتب ويرأس القناة أحمد سمير رجب ومقرها مدينة الجيزة.
برامج تليفزيون المحور.
من سياسات القناة أن لا يقل المحتوى العربي في إجمالي ساعات البث البرامجي عن 70% وهي تعرض العديد من الأعمال الدرامية من مسلسلات وأفلام وتنتج العديد من البرامج ومن أهمها:
بجانب عرضها:
صيغة تشومسكي العادية
تسمى اللغة الخالية من السياق في علوم الحاسب الآلي بأنها صيغة تشومسكي العادية (Chomsky normal form)، إذا كانت كافة قواعد إنتاجها على الصيغة:
حيث formula_4, formula_5 و formula_6 رموزا تمثل قيمة متغيرة، بينما رمزا α يمثل قيمة ثابتة، و S رمز بداية، و ε حقل فارغ. كما أن B أو C لا يمكن أن يمثلا رمز بداية.
كل لغة بصيغة تشومسكي العادية خالية من السياق، وبالعكس يمكن تحويل كل لغة خالية من السياق إلى لغة بصيغة تشومسكي العادية. وهناك عدة لوغريتمات معروفة للقيام بمثل هذا التحويل. وتوصف التحويلات في أغلب الكتب الدراسية المتخصصة في نظرية الأتمتة، ومنها كتاب هوبكروفت وأولمان (Hopcroft and Ullman, 1979). وكما بيّن لانغ ولايس، فإن العيب في هذه التحويلات هو أنها قد تؤدي إلى مط غير مرغوب في حجم اللغة. وباستخدام | G | للرمز إلى حجم اللغة الأصلية G، فإن حجم المط في أسوأ الحالات قد يتراوح ما بين | G | 2 إلى 22 | G | ، تبعاً للتحول في اللوغاريتم المستخدم (Lange and Leiß, 2009).
هناك وسيلة أخرى لتعريف صيغة تشومسكي العادية (Hopcroft and Ullman 1979, and Hopcroft et al. 2006):
تكون اللغة الصورية في صيغة تشومسكي المختزلة إذا كانت كل قواعد إنتاجها على الصيغة:
حيث A B C رموز لقيم متغيرة و α رمز لقيمة ثابتة. وباستخدام هذا التعريف قد يكون B و C رمز بداية.
تحويل لغة إلى صيغة تشومسكي العادية.
فيما سبق قاعدة واحدة. وعندما نحذف، نحصل على التالي:
بعد حذف كل قواعد ε، يمكنك أن تبدأ في حذف قواعد الوحدة، أو القواعد التي يحتوي حدها الأيمن على متغير واحد ولا يحتوي رموزاً لقيم ثابتة (وهو ما يتسق مع صيغة تشومسكي العادية).
قم باستبدال formula_31 بـ formula_32 ، حيث formula_33 متغيرات جديدة.
إذا formula_34 ، قم باستبدال formula_35 في القواعد أعلاه بمتغير جديد formula_36 ثم أضف القاعدة formula_37.
يمكن أن تشير كلمة محور إلى أحد المعاني التالية:
الحدود الطبيعية أو الحدود الفيزيوغرافية هي الحدود التي رُسمت بالاعتماد على بعض الظاهرات الطبيعية للاندسكيب الطبيعي مثل الجبال والأنهار وغيرها، ولذلك أطلق عليها هذا الاسم منسوبة إلى الطبيعة، وذلك في مقابل الحدود الصناعية والهندسية التي اعتمدت رسم خطوط هندسية، أو الحدود التي اعتمدت الفصل بين اللغات أو الأعراق أو الأديان.
ويعتبر بعض الجغرافيين هذا التصنيف غير دقيق في واقع الأمر؛ لأن كل الحدود السياسية من صنع الإنسان، ولذلك فجميعها حدود صناعية.
نسر في الثلج (ISBN 1-59071-011-8) هي رواية تاريخية كتبها والاس بريم عام 1970.