...یه شب ماه میاد

We found love in a hopeless place.

پیام های کوتاه

دله دیگه...

تنگ میشه...

بعد حاضره برای رفع دل تنگیش خودشو اذیت کنه...


// لعنتی! من چه مرگم شده باز؟

// خوبه که آدم یه سری دوست داره که حواسشون بهش هست...

// بده که نمی تونی بهشون نشون بدی چقدر ارزش داره برات این کاراشون...

// دلم میخاد میتونستم بهش بگم...

// عمق فاجعه رو وقتی متوجه می شی که می بینی اون بغل نوشته ۲۵ فوریه ۲۰۱۵!

// خیلی خودخواهانه است وقتی داره فرار می کنه ازش بخوای که باشه...

منا مهدیزاده

نظرات  (۲)

۱۴ خرداد ۹۵ ، ۲۱:۳۸ عرفان خانیکی
اینی که میگم صرفا یه ایدس:دی
ممکنه راه راحت تری هم باشه، اگه این قضیه ای که رویتنبرگ ثابت کرده رو مثلا توی یه حساب ضعیف مثلا IDelta_0+EXP بشه ثابت کرد خود به خود کران واسه اون عدده هم میده، البته هر چی حساب ضعیف تر کران بهتر :دی
من اومدم بخونم مقالش رو خسته شدم! کلا مقاله هاش خسته کنندس و ادم نمیتونه بفهمه ایده کلی کار چیه! باید از اول تا اخرش رو خوند! خلاصه اینکه هر وقت فرصت شد خوشحال می شم که این مقاله رو واسه من توضیح بدین :دی


در ضمن خیلی خیلی هم به پست مربوطه!
پاسخ:
هوممم این حساب ضعیفه که گفتیو نمی دونم چیه...
حقیقتن منم خسته شدم انقد نمیفهمم :))) خیلی بد مینویسه رویتنبرگ :))) مثلن میاد سه ساعت توضیح میده که خب ببین این + بعلاوه است. بعلاوه اینطوری کار میکنه... بعلاوه فلانه... بعلاوه بهمانه... ۲+۲ میشه ۴ خب پس نتیجه می گیریم که تانژانت لگاریتم کسینوس فلان میشه بهمان! دلیلشم که واضحه! بعد تو پوکر فیس همینطوری خیره می مونی به دوربین! :))
۱۵ خرداد ۹۵ ، ۰۰:۳۹ عرفان خانیکی
یه مقاله اینا دارن، رویتنبرگ و دکتر و سعید صالحی، بعد مقاله به قول دکتر جوشن کبیره!!!:دی
مجتهدی داشت میگفت که اینو که داشتم می خوندم تا وسطاش رفتم بعد اینقد بد نوشته که وسطش ول کردم و عطاش رو به لقاش بخشیدم :)))) می گفت میخواد ثابت کنه مثلا 2+2=4 میشه، بعد میاد ثابت می کنه Peano arithmetic سازگاره که بعد نتیجه بگیره 2+2=4!
ینی کلی ترین حالت رو  ثابت می کنه بعد از یه حالت خاص خاص خاصش استفاده می کنه:)))

اون حسابه هم اینجوریه که توی زبان حساب، اصول جمع و ضرب رو داریم، فقط جای اینکه برای هر فرمول اصل استفرا رو داشته باشیم، فقط واسه فرمول های دلتا صفر داریم، فرمول های دلتا صفر هم فرمول هایی هستن که تمام سور هاشون با یه دونه ترم کراندار شده، exp هم یه جمله ایه که میگه توان توتال است، نکتش اینه یه موقع هست که ادم نمی دونه تو چه اردری میشه یه کاری رو انجام داد، فقط میدونه میشه انجام داد، یه راه واسه اینکه اردره رو بفهمه اینه که بره سعی کنه ابزار اثباتش رو محدود کنه، اثبات به ادم کران محاسباتی میده و کران محاسباتی به ادم اثبات میده :دی
پاسخ:
بهله بهله :))))

هوممم... جالبه :-؟ مرسی مرسی :)

ارسال نظر

ارسال نظر آزاد است، اما اگر قبلا در بیان ثبت نام کرده اید می توانید ابتدا وارد شوید.
شما میتوانید از این تگهای html استفاده کنید:
<b> یا <strong>، <em> یا <i>، <u>، <strike> یا <s>، <sup>، <sub>، <blockquote>، <code>، <pre>، <hr>، <br>، <p>، <a href="" title="">، <span style="">، <div align="">
تجدید کد امنیتی