اليكس مدونة

اليكس مدونة الاثنين 12 أغسطس، 2013 أزمة مؤسسة الرياضيات في الآونة الأخيرة، وأنا أقرأ عن الرياضيات الحسابية وتاريخها. موضوع واحد للاهتمام هو أزمة أسس الرياضيات في أوائل 1900s في وقت. هذا الملخص هو تفسيري. في هذه الحلقة، عالم الرياضيات ديفيد هيلبرت يصبح تشعر بالقلق من ان حقوله والمؤسسات، والبرهان والمنطق والبديهيات، وتنهار. لماذا لا يفكر المفارقات حتى وجدت الناس، والحالات غير قابل للتفسير والتي تنشأ من خلال اتباع له مجموعة أساسية من أدوات. هذا يفتح هجومه المجال، ليتم استدعاؤها ليست أكثر من أدوات مفيدة، بدلا من الحقائق الأساسية للكون. الجميع يريد أن قضاء بعض الوقت على عدد من القضايا الهامة، والحق لذا، إذا كانت حقوله الأدوات الأساسية، البديهيات والنظريات وكاملة وحقيقية، ويمكن تفسير اليات أي شيء واحد وحساب. ومع ذلك، تم العثور على التناقضات البسيطة التي حقله غير قادر على شرح. على سبيل المثال، والمفارقة الحلاق هو لغز المنطق الذي هو تطبيق للمفارقة راسل. في نظرية المجموعات. تعيين علماء الرياضيات نظرية بناء النظريات التي يمكن أن تفسر العلاقات بين كل شيء. إذا كنت تسأل منظرا مجموعة لشرح مفارقة الحلاق، وقال انه سوف تبدأ في التساؤل عما إذا كانت أنظمة أدواته الأساسية معنى. حتى تستطيع أن ترى أنه إذا شككت في جدوى الأدوات الأساسية في حقل الرياضيات غير منطقي، وقال انه قلق من أن يمضي وقته بناء نظام عديمة الفائدة والبحث لتوسيع قواعده لتغطية هذا الثقب منطقي. أزمة ينظر إليها من أدوات البرمجة لا يبدو هذا قصة مشابهة لك ايم مبرمج الكمبيوتر، وكثيرا ما كنت أقرأ بلوق وهذا من مبرمجين آخرين. إذا كنت لا أعلم، معظم المواضيع المبرمجين المناقشة هي لغة X أفضل من لغة Y، أو أداة X أفضل من أداة Y. وهذا ليس سيئا، لأن مبرمج جيد يسأل دائما هل يمكنني القيام بذلك على نحو أفضل. بالطبع كان يجب الاستماع عندما يقول مبرمج آخر بهذه الطريقة هو أفضل. هكذا، ماذا يكون الجواب أي لغة هي أفضل وهناك الكثير من النقاش حول هذا الموضوع، لذلك شخص ما بالتأكيد قد وجدت جوابا. للأسف لا. إذا كنت تسأل مبرمج عقلانية وذوي الخبرة، وقال انه قد قررت أن اللغة الصحيحة تعتمد على المشكلة التي حل. كورت Gdels ديسكفري المنطقي العودة إلى عالم الرياضيات. هيلبرت، وكأنه مبرمج جيد، أريد أن أعمل مع مجموعة كاملة من أدوات، ومجموعة كاملة من البديهيات والنظريات. ما هو مجموعة كاملة من البديهيات وهي عبارة عن مجموعة متسقة وكاملة، بحيث أنها يمكن أن تتكون لشرح أي شيء. لذلك، هيلبرت يسأل عن مجموعة واحدة من الشروط، لغة واحدة، لاستخدامها في جميع الرياضيات. هل هذا ممكن للإجابة هيلبرت، أثبت عالم الرياضيات كورت Gdel شيئا للاهتمام حول المنطق الرياضي. وأوضح أن بقصور وجود أي مجموعة من الأدوات، وهذا هو، أي نظام من البديهيات المستخدمة للحصول على رقم الحساب الطبيعي. في كتابه النظريات النقص. وقال انه ثبت أن إذا قمت بإنشاء مجموعة من البديهيات جميع متسقة وصحيح، فإنه لا يمكن تفسير كل الحقائق. وهذا هو، كمستخدم لهذه البديهيات، سيكون هناك دائما التصريحات التي تعرف صحيحة، ولكنك لا تستطيع أن تثبت لهم باستخدام لديك مجموعة من البديهيات. (الجانبية ملاحظة: تم الرجوع إليها هذه النظرية باعتبارها بديهية لإثبات أشياء كثيرة، من الله موجود وتحتاج الإيمان إلى الرياضيات والمنطق لا طائل منه ولكن أعتقد أنني يصح أن نقول أن هذه useages غير صحيحة لأن المنطق في Gdels نظرية تعني نظرية يمكن تطبيقها فقط على الأنظمة الحسابية وفي سياق توليد منهجي مجموعة كاملة من البديهيات.) واستنادا إلى شرعية اللغات جديد كيف يتم هذا يتصل نماذج البرمجة النظر في هذا الاستقراء الذي أدليت به (ربما غير منطقي، ولكن لا يزال مثيرة للاهتمام) من Gdels الفكرة. لنفترض: لدي بيان الذي أعرفه هو صحيح، ولكن أنا غير قادر على اثبات ذلك باستخدام لدينا مجموعة من البديهيات. ما يجب القيام به بعد النظر عن كثب، وأرى أنني يمكن تعديل طفيف واحد من البديهيات جهدنا لإنشاء واحدة جديدة، وبالتالي تمكين لي لإثبات بياني. يمكنني أن أفعل هذا هو بلدي فرع جديد من فروع الرياضيات واحدة الشرعي أقول نعم إذا كان يمكن استخدامها لوصف المشكلة بطريقة أنظف وأكثر اتساقا بشكل صحيح، ثم نعم، تقرر شرعيتها من قبل التطبيق العملي لها وusefuless. هذا ليس قصة تستند كليا في مخيلتي. النظر في الهندسة الزائدية. وهو حقل جديد نسبيا من الرياضيات. يستغرق الهندسة الكلاسيكية، بتعديل بديهية واحدة (تغيير تعريف الموازية)، ويصفها بأنها نوع جديد من الرياضيات. هذا النظام الجديد للهندسة هو عملي جدا، لأنها توفر أدوات لحل المشاكل سابقا لايوصف. وفيما يلي بعض من هذه المشاكل في هذه المناقشة. تغيير اكسيوم واحدة في لغات البرمجة كيف رهيبة. عن طريق تغيير الافتراض الأساسي واحد، تم تطوير طريقة جديدة في التفكير بسهولة شرح الأمور صعبة. في رأيي، وهذا هو بالضبط المعايير التي يجب استخدامها ليقرر ما إذا كان ينبغي استخدام لغة برمجة جديدة. لغة البرمجة مفيدة يجب أن تطيع فلسفة عملية واحدة، وهذا هو، مجموعة واحدة من البديهيات. على سبيل المثال، والنظر في كلوجر. ويستند البرمجة التقليدية على التلاعب القيم المتغيرة من خلال سلسلة من الوظائف الفرعية. واستنادا إلى سنوات من الخبرة، قرر خالق كلوجر أن هذه الفكرة من دولة قابلة للتغيير سيئة حقا للتطبيقات الحديثة، والتي هي أكثر وأكثر باستخدام عمليات تشغيل بشكل متزامن. كلوجر يقيد مبرمج لدولة غير قابل للتغيير، مما يجعل نظريا كتابة البرامج باستخدام أحدث المشتركة أكثر أمنا وأسهل. مثال آخر هو إرلانج. ويستند البرمجة التقليدية على خلق برنامج قابل للتنفيذ واحد أو عملية تشغيل على جهاز واحد. خلق العالم العملي لتطوير البرمجيات مفهوم البرمجيات والخدمات، مثل الخدمات على شبكة الإنترنت. التي ينبغي أن تكون متاحة دائما. قرر المبدعين من إرلانج هذه الفكرة الأساسية. عن طريق بناء غتهم حول هذه الفكرة الأساسية، وقرروا أن ظائف نقية والعمليات المتسامحة وضمنا الجواهر. عن طريق تقييد مبرمج لاستخدام فقط هذه الأفكار والبرامج إرلانج لها نظريا قليل من البق القائم على التوافق والتوقف قليلا جدا في الإنتاج. الأفكار النهائية المشاكل الصعبة يمكن أن تصبح مشاكل تافهة إذا قمنا بتغيير قاعدة واحدة للعبة. تطبيق لغات البرمجة، وأعتقد أن هذا يتطلب المزيد من إضافة مكتبة لدعم هذه الفكرة. ضرورية لحقن نموذج جديد إلى لغة وتقييد أجزاء من اللغة التي تتناقض مع النموذج. ذكر جون كارماك بحثه الأخير على لغات البرمجة الوظيفية في حديثه الأخير في مكتبه QuakeCon 2013 حديث الرئيسي. انه يدعم هذه الفكرة تقييد مبرمج عند اتباع نموذج جديد: لتفسير متحرر كلماته والمصممين أداة يهتمون بدعم بطريقة معينة من حل المشاكل، في حين المبرمجين يهتمون بسرعة وتحلها مباشرة مشكلة في hand. If قد كان أنت محظوظ بما فيه الكفاية للحصول على بطاقة بريدية من جزر تايلاند، فإنه من المرجح ظهرت الجنة، مدن المحافظات الساحرة أو ربما الأضواء المتلألئة بانكوك. في البلد الشواطئ الجميلة ومدينة كبيرة عالمية موثقة توثيقا جيدا، بما في ذلك هنا في اليكس في Wanderland. ولكن هل تعلم تايلاند لديها أيضا 127 parkshellip الوطني عندما قرأت عن كوه تاو في وسائل الإعلام الدولية بيان ان كان فقط ممكن في العامين الماضيين أو نحو ذلك أنا حرفيا يشعر وكأنه ايم القراءة عن مكان إيف أبدا كان من قبل. ما هي هذه الجزيرة غير طبيعي رهيب، والكامل من العصابات الشريرة، ريليد القتلة والتهديدات المشؤومة (Everyhellip ايم وهو من سكان نيويورك الذين غادروا بيتي لاستكشاف العالم ببطء وبشكل كامل. ايم فقط قليلا هاجس التصوير الفوتوغرافي، والغوص، والقراءة أدلة إلى البلدان ليس لدي أي خطط فورية لvisit. August 4، 2016 - كتب بواسطة سارة ستانتون رؤساء تصل، ويرأس صفقات shopaholicshot طريقك في هذا year8217s الإسكندرية الرصيف بيع يومي السبت والأحد أغسطس 13 أمبير 14، 2016، أكثر من. و50 متجرا الإسكندرية تقدم خصومات كبيرة على رواجا بعد بضائع مثل الأحذية الراقية والأثاث منتصف القرن، لعب الأطفال وDCOR منزل في هذه المدينة المعروفة لمحلاته التجارية المستقلة فريدة من نوعها. يمكنك حتى الأشياء [هليب] أن تفعل في Alexandria8217s كارلايل حي يوليو 28، 2016 - كتب بواسطة حي سارة ستانتون Alexandria8217s كارلايل بالقرب من جورج واشنطن الماسوني النصب التذكاري الوطني هو مزيج مثالي من الجواهر الخفية المعروفة محليا وسائل الراحة العصرية، وكلها في حي المشاة واحد. الصفحة الرئيسية لبراءات الاختراع الأمريكية ومكتب العلامات التجارية وقاعة المخترعين من شهرة ومتحف وكذلك الأمريكيين من أصل أفريقي المواقع التراثية والمطاعم أحب محليا، وتقريبه we8217ve تصل لدينا can8217t يغيب [هليب] اسأل من الداخل: أين يمكن الحصول على الكوكتيلات والحرفية البيرة في الإسكندرية 21 يوليو 2016 - كتب بواسطة سارة ستانتون الإسكندرية هو معروف في المنطقة العاصمة باعتبارها واحدة من أفضل الأماكن لتناول الكوكتيلات والبيرة الحرفية، ولكن don8217t تأخذ في كلمتنا لذلك. طلب We8217ve بعض المطلعين المفضلة لدينا، بما في ذلك السكان المحليين والمدونين السفر، لأفضل الأماكن للحصول على المشروبات في الإسكندرية. سواء you8217re يلة تاريخ التخطيط أو منخفضة مفتاح نزهة مع [هليب] خذ 5 مع: وبيكون إخوان 20 يوليو 2016 - كتب بواسطة سارة ستانتون العام الماضي، وسرقوا وبيكون الإخوة قلوبنا عندما أدوا حفل المنبثقة في السكر شاك دونتس لدعم سبب وجيه. هذا الصيف، مايكل وكيفن بيكون يعودون إلى الإسكندرية لموقف ثلاث ليال في لBirchmere، وكان لدينا فرصة للتواصل مع الثنائي الصخور الشقيق أن نسأل ما أحب حول [هليب] 18 كلب الصديقة الأنشطة التي يمكن ممارستها في الإسكندرية 14 يوليو 2016 - كتب بواسطة كيلسي الإسكندرية قد حصل بالتأكيد مكانه بين الأمريكتين أعلى المدن الصديقة للكلب. واحد من كل أربعة من سكان الإسكندرية هو كلب (نعم، ونحن نعلم الكلاب الناس أيضا)، وفي هذه المدينة الجرو جزيئية، الكلب محبي تجد أي نقص في الحدائق الكلب، محلات هزلي وحتى هزلي سعيد ساعات. من البلدة القديمة لديل راي، مساحات الكلب [هليب] 8 صانع في الإسكندرية لديي قد لا تعرفون ذلك، ولكن كنت صانع. إذا كنت قد اتخذت شيئا من أي وقت مضى بعيدا، ووضع شيء معا أو فعل مشروع DIY، وكنت جزءا من حركة صانع ل thats تصبح شعبية جدا، وأمريكا مؤخرا اسم أمة صناع. والإسكندرية، فيرجينيا تعد ملاذا لأولئك الذين يرغبون في ممارسة شغفهم وشرارة [هليب] خمسة أسباب محبي هاري بوتر الحب Alexandrias متحف الصيدلي لمحبي أفلام هاري بوتر والكتب الذين يرغبون يتمكنوا خطوة الى الصف الجرع في مدرسة هوجوورتس للسحر والشعوذة، ومتحف تاريخي مستقر-يدبيتر الصيدلي في الإسكندرية، فيرجينيا، قد يكون أفضل شيء المقبل. متحف الصيدلي، الذي يعود تاريخه إلى 1792، هي واحدة من أقدم الصيدليات في [هليب] فيديو: انظر المدلى بها من PBS8217 الرحمة شارع في الإسكندرية 29 فبراير 2016 - أرسلت بواسطة سارة ستانتون إذا كنت can8217t ننتظر لنرى الشخصيات المفضلة لديك من PBS8217 رحمة شارع على الشاشة مرة أخرى، we8217ve حصل لك تغطيتها. في خريف هذا العام، وبعض من أعضاء فريق العمل والمنتجين من شارع الرحمة جال الإسكندرية معنا، والتي تستطيع أن ترى في الفيديو أدناه. مع الربيع الحق قاب قوسين أو أدنى، والآن هو الوقت المثالي للتخطيط [هليب] What8217s الجديد في الاسكندرية 2016 7 يناير 2016 - كتب بواسطة سارة ستانتون الإسكندرية هو معروف لصنع التاريخ، و 2016 ستكون بالتأكيد واحدة لكتب الارقام القياسية. العام الجديد يجلب جديدة والوطنية PBS المسلسلات الدرامية المبنية على أحداث حقيقية من الحرب الأهلية الإسكندرية الواجهة البحرية النهضة المستمرة والمطاعم الجديدة و8220Brew News8221 التي لديها عشاق الطعام والبيرة المتحمسين يطن حول الإسكندرية. الحفاظ على القراءة ل[هليب] أفضل 10 أماكن لإينستاجرام في الإسكندرية Alexandria8217s صف البيوت نابضة بالحياة، والشوارع المرصوفة بالحصى الخلابة ومناظر خلابة على الواجهة البحرية جعل مدينتنا التاريخية مكانا مثاليا لالتقاط صور إينستاجرام مثيرة للإعجاب. تقريب We8217ve تصل لدينا أفضل 10 أماكن للإينستاجرام في الإسكندرية مع بعض من الأمثلة المفضلة لدينا من Instagrammers المحلية لمساعدتك الكشفية على أفضل لالتقاط الصور التذكارية. اتبع VisitAlexVA للتحقق من مزيد من الصور و [هليب] استكشاف آرت ديكو فن العمارة في حي ديل راي Alexandrias ديل راي هو مجتمع غير تقليدي الكامل لبعض الهندسة المعمارية الاستثنائية، بما في ذلك المباني آرت ديكو الكلاسيكية وأصيلة. أعلى 5: أماكن للتشغيل في الإسكندرية 29 سبتمبر 2014 - تاريخ النشر بواسطة كيلسي مع برودة الطقس الخريف يأتي بداية موسم السباق، والإسكندرية ليست استثناء. سوف يضطر المئات من العدائين ضرب في شوارع المدينة لجسر نصف ماراثون وودرو ويلسون في نهاية هذا الاسبوع، و12K الوطنية. US في شهر نوفمبر، والعديد من 5K و10K سباقات بينهما. سواء التدريب إنكم لسباق المقبل أو مجرد [هليب] كيفية: احصل على صالح في الإسكندرية 8 يناير 2015 - تاريخ النشر بواسطة كيلسي مرحبا بكم في 2015 في الإسكندرية سنواتك قرار جديد للحصول على الشكل فقط حصلت على الاسهل في ALX، حيث الصحة و العافية هي وسيلة للحياة. يتم إحضارها أليكس اضافي لك من قبل: