Halmos کے بارے میں

Halmos رياضيات کے ليے بورڈ هے جہاں سر ور رياضيات کو چيک کر تا هے هيں جب تک آپ کو معلوم نہيں کہ بعض پوسٹس ميں ايک نشاني هے جو اس کي ليکني کو يقيني بنا تا هے

ہر دوسرے ریاضی فورم کے ساتھ مسئلہ

MathOverflow, math.StackExchange, r/math, arXiv کام نت سيکشنس ان سب کے پاس صحيحي کا يه واحد قاضي هے: دوسرے لوگ، بحث کر رہے هے ۔ یہ قابل ذکر طور پر خوب کام کر تا هے ، اور يه اس ليے هے کہ غلط ثبوت جو خفيه طور پر لکھا جا تا هے صحيح ثبوت کو بدتر بنا تا هے اور يه اس ليے هے کہ " ميں نے اس کو چيک کر يا " اور " ميں اس پر يقين رکھتا هيں " صفحے پر عين نظر آتے هيں

Halmos دو سرا اربيتر شامل کر تا هے جو اس کے ساتھ بحث کريے جا سکے

سرور واقعی میں کیا کرتا ہے

کسی بھی پوسٹ یا تبصرے میں ایک رکاوٹ بلاک رکھو اور یہ یہاں چلتا ہے، پیش کرنے پر:

بلاک کے تحت دکھا يا جا نے والا آ وٹ پٹ اس ٹول کے ليے پرنٹ کيا جا تا هے ، لفظي طور پر.کبھی بھی مختصر نہيں : مختصر کر نے کے ليے صحيح طور پر مصنوعي ترين کو داخل کريں

ایک منٹ میں، اس کی کوشش کیسے

1. عام طور پر کامنت. زیادہ تر پوسٹوں میں ریاضی کا کوئی حصہ نہیں ہے اور یہاں کچھ بھی نہیں ہے جس کی ضرورت ہو۔
2. رياضيات کي ليا ئت کريں ساتھ $…$, يا ديش بلاک کے ساتھ $$…$$. اس کو حقيقي اعداد و شمار کے طور پر رينڈر کريں، کچھ بھی نہیں چلتا، صرف نوٹيشن ایک دیکھو
3. مشین سے پوچھو. بيلک کي علامات sage, gp, z3 يا python یہاں پر عمل میں لایا جاتا ہے اور اس کے خروجی آپ کے پوسٹ سے ملحق ہے، لفظی. ایک دیکھو
4. کچھ کھيل کريں ے کے ساتھ plot بلاک (matplotlib، plt اور np تیار، يا تو ایک سلسلہ کو پہچانيں oeis: انٹیجرز کو پسٹ کریں اور اگر معلوم ہو تو نام سے واپس آتا ہے
5. کچھ ثابت. افريقي lean بلاک کو Mathlib کے مقابلے ميں تا ئنٹ چکا يا گيا هے اس کو کوئي تبصرے ميں پےچاں کريں: ایک دیکھو

```lean
import Mathlib
theorem two_add_two : 2 + 2 = 4 := by norm_num
```

ري گيوليشن صرف يوزر نام اور پاس و رڈ هے :کوئي اي ميل ،کوئي تائيد قدم نهيں قطار, اور ہر چکر کے زندہ ریاست پر ہے حالت: اگر کوئی نیچے ہے تو آپ کو "را ں نہیں سکتا" کہا جاتا ہے ، کبھی "نا قبول" نہیں ہوتا

آپ کے اپنے رفتار پر لکھیں

پوسٹ شروع کریں اور اپنے رياضيات کو دیکھنے کے ليے ليکن اور پيش نما ئي کے ميں تبديل کريں جیسے کہ پڑھنے والے کريں گے تبديلياں خودکار طور پر محفوظ کي جا ئيں آپ کے ڈرائگڈرائف محفوظ کرنا جاواسکرپٹ کے بغیر بھی کام کرتا ہے ڈرائف اور پیش نگوئی کوڈ کو کبھی بھی نہیں چلاتے. شائع کریں جب آپ شیئر کرنے کے لیے تیار ہوں.

آرٽيڪل کے مواد کي فهرست بنا نے کے ليے هيڈر استعمال کريں داخل کريں مينو تعريف ، تئورم ، ثبوت ، مثال ، تا بيل اور لينک شامل کر تا هے مثال:

:::theorem Squares
For every real $x$, we have $x^2 \geq 0$.
:::

:::proof
Explain your argument here.
:::

يه ثبوت با کس کي تجويز کي تجويز کر تا هے ، لين چک کي قبول کر نے کے بعد تائيد کر نے کے ليے نشاني عطا کر تا هے ايڈيٽر کے نيچے ذريعے اور خاص LaTeX ميکرو شامل کريں يا ديافتو عات ميں آپ کا پروفائلایک موضوع اور ٹیگ منتخب کریں تاکہ دلچسپی رکھنے والے پڑھنے والے آپ کا پوسٹ تلاش کر سکیں.

شائع شدہ پوسٹوں میں پوسٹ بدلنے کا لینک ہوتا ہے محفوظ کردہ ترمیمات خفیہ رہتی ہیں جب تک آپ ابھرت کو شائع نہ کر دیں آرٽيڪل اپنا پتہ رکھتا ہے اور موجود مشین چیک اس متن سے جڑتے رہتے ہیں جو انہوں نے چیک کیا تھا

ایک ساتھ پڑھتے رہیں

اپنے نجی پڑھنے کی فہرست میں پوسٹ محفوظ کریں اور شخصی طور پر مصنف یا موضوع کو پیرو کریں بعد فڈ. آپ کے پوسٹ اور تبصروں کے جوابات میں نظر آتے ہیں آپ کو جواب.

کتاب يا سيريز بنا ئيں آپکے شائع شدہ پوسٹس کو جوڑنے کے ليے باب شامل کريں ، انکے ترتيب کو ترتيب ديں اور مواد کو عام کريں جب تيار هے ذاتي مجموعہ اسکے مواد کي فہرست کو چھپا تا هے اسکے پوسٹس انفرادي طور پر شائع کريے جاتے هيں

نشان

∎ ایک halmos,Paul Halmos کے بعد، جس نے proof-end علامت پیش کی یہ اس سائٹ پر صرف ایک چیز ہے جو اختیارات اٹھاتی ہے، اس لئے اسے جان بوجھ کر حاصل کرنا مشکل ہے:

• صرف Lean اسے مقرر کر سکتے ہیں. True ایک ثبوت نہیں، ثبوت ہے.
• sorry, native_decide, تازہ axiom, unsafe اور debug.skipKernelTC ہٹایا گیا ہے قبل فائلیں چلتا ہے، تو ایک فریب بھی کمپیوٹ خرچ نہیں کر سکتے.
• ایک رن کو اس متن پر پينڈ کیا جاتا ہے جو اس کو پیدا کرتا ہے پوسٹ کو ایڈٹ کریں اور نشانے کو نئے لفظوں میں منتقل کرنے کی بجائے پرانا ہوتا ہے
• اگر ایک چیکر آپ کو ملے نیچے ہے "چلائی نہیں جاسکتی"کبھی نہیں "رد". حالت چکا ں اس وجہ سے عوامی ہے.

عام

تصدیق سستا ہے، دریافت نہیں ہے. عام یہ کمپیوٹ کی ایک مشترکہ پول ہے جو کھلے مسائل پر گراں کرتا ہے جسے اس بورڈ نے ووٹ دیا ہے ہر کوئی اس میں حصہ لے سکتا ہے، کسی کو بھی اس کے نتائج کی ملکیت نہیں ہے، اور ہر ران فنڈ عوامی ہے، ان میں سے جن کو کہیں نہیں پہنچا، جو عام طور پر معلوماتی ہیں.

کون اسے چلاتا ہے

Halmos مستقل اور چھوٹا هے اگر یہاں کچھ غلط هے تو اس کو ثابت کر نے کا سب سے تيز طريقہ سر ور کو چلنے کے ليے بلاک هے رابطہ میں آئیں.