महाराष्ट्रातील

Halmos हे गणितासाठीचे बोर्ड आहे जिथे सर्वर गणित तपासत असतो. हे कोणत्याही लिंक संकलक सारखे दिसते जेव्हापर्यंत तुम्हाला काही पोस्ट्सची नोंद नसते जे विश्वासार्ह लेखन उत्पादन करू शकत नाही.

प्रत्येक इतर गणिती मंच समस्या

MathOverflow, math.StackExchange, r/math, arXiv comment sections. त्या सर्वांमध्ये योग्यतेचे एकच न्यायाधीश आहे: इतर लोक, तर्क. ते अतिशय चांगले काम करते, आणि यासाठीच एक चुकीचा पुरावा चांगल्या लिखित पेक्षा कमी दर्जाचा आहे, आणि "मी तपासले" आणि "मी विश्वास ठेवतो" पानावर समान दिसतात.

Halmos adds a second arbiter that cannot be argued with.

सर्वर नेमके काय करते

कोणत्याही पोस्ट किंवा टिपण्णी अंतर्गत एक बंद ब्लॉक ठेवा व ते येथे चालेल, सादरीकरणावर:

ब्लॉक	काय घडते	ते कमवू शकते ∎?
`lean`	Mathlib विरुद्ध प्रकार- तपासणी. कर्नल प्रमाण शब्द स्वीकारते किंवा नाही.	होय
`sage`	याचा अर्थ असा की, त्याचे वजन स्थिर आहे; म्हणजेच त्याचे वस्तुमान स्थिर आहे.	नाही
`gp`	या वेळी एफ.	नाही
`z3`	Z3 एक नमूना शोधतो: नकार द्या काहीतरी.	नाही
`python`	पेनिसिलिन, पेनिसिलिन-ए, पेनिसिलिन-बी, पेनिसिलिन-सी.	नाही

ब्लॉक अंतर्गत दर्शविलेले आऊटपुट हे साधनने छापलेले आहे, शब्दशः. कधीही सारांश नाही: सारांश म्हणजेच फॅक्टरीमध्ये लपविलेले आहे.

याची चाचणी कशी करावी, एक मिनिटात

सामान्यपणे याचा वापर केला जातो. बहुतेक पोस्ट त्यांना सर्वात गणित नाही आणि काहीही इथे आवश्यक आहे. उत्तरे नट.
गणित अंतर्भूतीत लिहा सह $…$ , किंवा यासह दर्शविलेले ब्लॉक $$…$$. हे वास्तविक टाइपसेट गणित करीता रेंडरिंग करते; काहीही कार्यान्वित केले जात नाही. हे फक्त नोटेशन आहे. एक बघा
मशीनला विचार. एक फॅन्ड ब्लॉक टॅग केले sage, gp, z3 किंवा python is executed here and its output attached to your post, verbatim. That is evidence, not proof. एक बघा
काहीतरी रेखाटवा सह plot ब्लॉक (matplotlib, सह) plt आणि np तयार), किंवा यासह अनुक्रम ओळखा oeis: पूर्णांक चिकटवा आणि ते नावाने परत येते, जर ते ज्ञात असेल तर.
काहीतरी सिद्ध कर. A-M_BAR_इटालियन lean Mathlib विरुद्ध ब्लॉक प्रकार- तपासले गेले आहे. हे कोणत्याही टिपण्णीत चिकटवा: एक बघा

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

नोंदणी करीता वापरकर्तानाव व गुप्तशब्द आवश्यक आहे: ईमेल नाही, खात्री नाही. चेकर्स करीता सर्व कार्य करीता आता कतार, आणि प्रत्येक चेकर्सचे लाइव राज्य वर आहे स्थिती पान: जर एक खाली असेल तर तुम्हाला "चलवता आले नाही" असे सांगितले जाते, कधीच "रद्द केले गेले नाही".

स्वतःच्या गतीने लिहा

पोस्ट सुरू करा आणि वाचक करीता गणित पाहण्याकरीता लेखन व पूर्वदृश्य दरम्यान स्विच करा. बदल आपोआप येथे संचयीत होतात तुमचे ड्राफ्ट; JavaScript विना ड्राफ्ट संचयीत करा कार्य करते. ड्राफ्ट व पूर्वदृश्य कोड चालवत नाही. तुम्ही भागीदारीत करीता सज्ज असल्यावर प्रकाशित करा.

लेखातील अनुक्रम यादी बनविण्याकरीता शिर्षक वापरा. अंतर्भूत मेन्यू परिभाषा, प्रमेय, सिद्धांत, उदाहरण, तक्ता व लिंक जोडतो. उदाहरणार्थ:

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

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

एक सिद्धांत चौकट बाब दर्शविते; स्वीकारलेले Lean चेक वैधता चिन्ह पुरविते. संपादक अंतर्गत स्त्रोत व इच्छिक LaTeX मेक्रो जोडा, किंवा मुलभूत संयोजीत करा तुमचे प्रोफाइल. विषय व टॅग निवडा जेणेकरून आवडणारे वाचक तुमचे पोस्ट शोधू शकतील.

प्रकाशित लेख करीता संपादन लेख लिंक आहे. संचयीत संपादन तुम्ही अद्ययावत प्रकाशित करण्यापर्यंत गुप्त राहील. लेख पत्ता ठेवतो, व अस्तित्वात असलेली मशीन तपासणी ते तपासलेले पाठ्यशी जुळलेली राहते.

एकत्र वाचत रहा

तुमच्या खाजगी वाचन यादी करीता लेख संचयीत करा व व्यक्तिगत करीता लेखक किंवा विषय अनुसरण करा पुढील फीड. तुमच्या पोस्ट व टिपण्णी करीता उत्तरे यांत दर्शविले जातात तुम्हाला उत्तर देतो.

पुस्तक किंवा मालिका बनवा तुमच्या प्रकाशित लेखाचे संलग्नीकरण. अध्याय जोडा, त्यांची क्रमवारी करा, व तयार झाल्यावर विषयवस्तु सार्वजनिक करा. खाजगी संग्रह त्यास अनुक्रम सूची लपवितो; त्यास लेख एकमेकांशी प्रकाशित राहतात.

चिन्ह

∎ असे म्हणतात halmos, पॉल Halmos नंतर, ज्यांनी end- of- proof चिन्ह दाखल केले. हे या साइटवरील एकमेव बाब आहे जी अधिकार आहे, म्हणून हे जाणीवपूर्वक मिळविणे कठीण आहे:

फक्त Lean हे निश्चित करू शकते. Sage printing True हे पुरावे आहेत, पुरावे नाहीत.
sorry, native_decide, ताजे axiom, unsafe आणि debug.skipKernelTC नकारले गेले आधी फाइल चालते, म्हणून एक युक्ती संगणकावर खर्च करू शकत नाही.
याचा वापर करून यंत्रणेचे कार्य सुधारले जाते व यंत्रणेचे कार्य सुधारले जाते व यंत्रणेचे कार्य सुधारले जाते.
एक चेकर खाली असेल तर तुम्हाला मिळेल "चालवू शकले नाही", कधीच नाही "नकारले". स्थिती तपासा त्यासाठी सार्वजनिक बांधकाम खात्याकडे अर्ज करावा लागतो.

The Commons

याचा अर्थ असा की, तत्त्वज्ञान हे ज्ञान नाही. The Commons हा एक संगणकाचा एक सामायिक पूल आहे जो या बोर्डने मतदान केलेल्या उघड समस्यांवर काम करतो. कोणीही यामध्ये योगदान देऊ शकतो, परिणाम कोणालाही नाही, आणि प्रत्येक चालविलेले हे सार्वजनिक आहे, ज्यात ते समाविष्ट आहे जे कुठेही गेले नाही, जे सामान्यतः माहितीपूर्ण आहेत.

कोण चालवते

Halmos स्वतंत्र व लहान आहे. जर काहीतरी चुकीचे असेल तर, सर्वर चालविण्याजोगी ब्लॉक हा सर्वात जलद मार्ग आहे. संपर्क करा.