ਹਾਲਮੋਸ ਬਾਰੇ

Halmos ਗਣਿਤ ਲਈ ਇੱਕ ਬੋਰਡ ਹੈ, ਜਿੱਥੇ ਸਰਵਰ ਗਣਿਤ ਚੈੱਕ ਕਰਦਾ ਹੈ । ਇਹ ਕਿਸੇ ਲਿੰਕ ਇਕੱਠਕਰਤਾ ਵਾਂਗ ਦਿਖਾਈ ਦਿੰਦਾ ਹੈ, ਜਦੋਂ ਤੱਕ ਤੁਸੀਂ ਇਹ ਨੋਟ ਨਹੀਂ ਕਰਦੇ ਕਿ ਕੁਝ ਪੋਸਟ ਇੱਕ ਨਿਸ਼ਾਨ ਰੱਖਦੇ ਹਨ, ਜੋ ਕਿ ਕੋਈ ਵੀ ਲਿਖਣ ਦੀ ਸੰਭਾਵਨਾ ਨਹੀਂ ਹੈ ।

ਹਰੇਕ ਹੋਰ ਗਣਿਤ ਫੋਰਮ ਨਾਲ ਸਮੱਸਿਆ

MathOverflow, math.StackExchange, r/math, arXiv ਟਿੱਪਣੀ ਸੈਕਸ਼ਨ। ਉਹਨਾਂ ਵਿੱਚ ਸਭ ਨੂੰ ਇੱਕ ਠੀਕ ਹੋਣ ਦਾ ਅਦਾਲਤ ਹੈ: ਹੋਰ ਲੋਕ, ਦਲੀਲ ਦੇ ਰਹੇ ਹਨ। ਇਹ ਬਹੁਤ ਵਧੀਆ ਕੰਮ ਕਰਦਾ ਹੈ, ਅਤੇ ਇਹ ਵੀ ਹੈ ਕਿ ਇੱਕ ਗਲਤ ਸਾਬਤ ਕਰਨ ਲਈ ਲਿਖਿਆ ਇੱਕ ਚੰਗੀ ਲਿਖੀ ਇੱਕ ਨੂੰ ਤਰੱਕੀ ਦਿੰਦਾ ਹੈ, ਅਤੇ ਕਿਉ "ਮੈਂ ਇਹ ਚੈੱਕ ਕੀਤਾ" ਅਤੇ "ਮੈਂ ਇਹ ਮੰਨਦਾ ਹਾਂ" ਸਫ਼ੇ ਉੱਤੇ ਇੱਕੋ ਜਿਹੇ ਦਿਖਾਈ ਦਿੰਦੇ ਹਨ।

Halmos ਇੱਕ ਦੂਜਾ ਅਰਜੈਂਟ ਜੋੜਦਾ ਹੈ, ਜਿਸ ਨਾਲ ਦਲੀਲ ਨਹੀਂ ਦਿੱਤੀ ਜਾ ਸਕਦੀ ਹੈ ।

ਸਰਵਰ ਅਸਲ ਵਿੱਚ ਕੀ ਕਰਦਾ ਹੈ

ਕਿਸੇ ਵੀ ਪੱਤਰ ਜਾਂ ਟਿੱਪਣੀ ਵਿੱਚ ਇੱਕ ਫਰੇਮਡ ਬਲਾਕ ਰੱਖੋ ਅਤੇ ਇਹ ਭੇਜਣ ਉੱਤੇ ਇੱਥੇ ਚੱਲੇਗਾ:

ਬਲਾਕ	ਕੀ ਹੁੰਦਾ ਹੈ	ਕੀ ਇਹ ਕਮਾ ਸਕਦਾ ਹੈ ∎?
`lean`	Mathlib ਨਾਲ ਟਾਈਪ- ਚੈੱਕ ਕੀਤਾ ਗਿਆ । ਕਰਨਲ ਨੇ ਪ੍ਰਮਾਣਕ ਸ਼ਬਦ ਨੂੰ ਸਵੀਕਾਰ ਕੀਤਾ ਹੈ ਜਾਂ ਨਹੀਂ ।	ਹਾਂ
`sage`	ਸੇਜ- ਮੈਥ ਇਸ ਨੂੰ ਚਲਾਉਦਾ ਹੈ; ਅਸਲੀ ਆਉਟਪੁੱਟ ਪੱਤਰ ਵਿੱਚ ਪਿਨਟ ਕੀਤਾ ਜਾਂਦਾ ਹੈ ।	ਕੋਈ ਨਹੀਂ
`gp`	PARI/GP ਇਸ ਨੂੰ ਚਲਾਉਂਦਾ ਹੈ।	ਕੋਈ ਨਹੀਂ
`z3`	Z3 ਇੱਕ ਮਾਡਲ ਲਈ ਖੋਜਦਾ ਹੈ: ਸਭ ਤੋਂ ਤੇਜ਼ ਢੰਗ ਨਾ- ਮਨਜ਼ੂਰ ਕੁਝ	ਕੋਈ ਨਹੀਂ
`python`	ਸੇਂਡਬਾਕਸ ਪਾਈਥਨ, ਆਉਟਪੁੱਟ ਅਟੈਚ ਹੈ ।	ਕੋਈ ਨਹੀਂ

ਬਲਾਕ ਹੇਠ ਦਿੱਤੇ ਆਉਟਪੁੱਟ ਨੂੰ ਟੂਲ ਨੇ ਪਰਿੰਟ ਕੀਤਾ ਹੈ, ਪਰ ਇਹ ਸੰਖੇਪ ਨਹੀਂ ਹੈ: ਸੰਖੇਪ ਵਿੱਚ ਉਹੀ ਹੈ, ਜੋ ਕਿ ਇੱਕ ਫੈਕਟਰੀ ਵਿੱਚ ਹੁੰਦਾ ਹੈ ।

ਇੱਕ ਮਿੰਟ ਵਿੱਚ ਇਸ ਨੂੰ ਕਿਵੇਂ ਕੋਸ਼ਿਸ਼ ਕਰੀਏ

ਆਮ ਟਿੱਪਣੀ ਬਹੁਤੇ ਪੋਸਟ ਵਿੱਚ ਗਣਿਤ ਨਹੀਂ ਹੈ ਅਤੇ ਇੱਥੇ ਕੋਈ ਵੀ ਲੋੜ ਨਹੀਂ ਹੈ । ਜਵਾਬ ਨੈਸਟ ਕਰੋ ।
ਗਣਿਤ ਇੰਲਾਈਨ ਲਿਖੋ ਨਾਲ $…$ , ਜਾਂ ਇੱਕ ਡਿਸਪਲੇਅ ਬਲਾਕ ਨਾਲ $$…$$. ਇਹ ਅਸਲੀ ਟਾਈਪਸੈੱਟ ਗਣਿਤ ਵਾਂਗ ਦਿਖਾਉਂਦਾ ਹੈ; ਕੁਝ ਵੀ ਚਲਾਇਆ ਨਹੀਂ ਜਾਂਦਾ ਹੈ । ਇਹ ਸਿਰਫ਼ ਨੋਟੇਸ਼ਨ ਹੈ । ਇੱਕ ਵੇਖੋ
ਮਸ਼ੀਨ ਨੂੰ ਪੁੱਛੋ । ਇੱਕ ਢੱਕਿਆ ਬਲਾਕ ਟੈਗ ਕੀਤਾ sage, gp, z3 ਜਾਂ python ਇਹ ਇੱਥੇ ਚਲਾਇਆ ਜਾਂਦਾ ਹੈ ਅਤੇ ਇਸ ਦਾ ਆਉਟਪੁੱਟ ਤੁਹਾਡੇ ਪੱਤਰ ਨਾਲ ਜੁੜਿਆ ਹੁੰਦਾ ਹੈ, ਸ਼ਬਦ- ਸ਼ਬਦ । ਇਹ ਸਬੂਤ ਹੈ, ਪਰਮਾਣ ਨਹੀਂ ਹੈ । ਇੱਕ ਵੇਖੋ
ਕੁਝ ਬਣਾਓ ਨਾਲ plot ਬਲਾਕ (matplotlib, ਨਾਲ plt ਅਤੇ np ਤਿਆਰ), ਜਾਂ ਇਸ ਨਾਲ ਇੱਕ ਕ੍ਰਮ ਪਛਾਣੋ oeis: ਪੂਰਨ ਅੰਕ ਪਾਉਣ ਨਾਲ ਨਾਂ ਨਾਲ ਵਾਪਸ ਆਵੇਗਾ, ਜੇਕਰ ਜਾਣਿਆ ਹੋਵੇ ।
ਕੁਝ ਸਾਬਤ ਕਰੋ । ਅੰਗਰੇਜ਼ੀ( A) 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.
:::

ਇੱਕ ਪਰੂਫ ਬਕਸਾ ਇੱਕ ਆਰਗੂਮੈਂਟ ਪੇਸ਼ ਕਰਦਾ ਹੈ; ਇੱਕ ਮਨਜ਼ੂਰ Lean ਚੈੱਕ ਜਾਂਚ ਮਾਰਕ ਦਿੰਦਾ ਹੈ । ਐਡੀਟਰ ਹੇਠ ਸਰੋਤ ਅਤੇ ਪਸੰਦੀਦਾ LaTeX ਮੈਕਰੋ ਸ਼ਾਮਲ ਕਰੋ, ਜਾਂ ਡਿਫਾਲਟ ਸੈੱਟ ਕਰੋ ਤੁਹਾਡਾ ਪਰੋਫਾਇਲਇੱਕ ਵਿਸ਼ਾ ਅਤੇ ਟੈਗ ਚੁਣੋ ਤਾਂ ਕਿ ਦਿਲਚਸਪੀ ਰੱਖਣ ਵਾਲੇ ਪਾਠਕ ਤੁਹਾਡਾ ਪੱਤਰ ਲੱਭ ਸਕਣ ।

ਪਬਲਿਸ਼ਡ ਪੱਤਰ ਵਿੱਚ ਪੱਤਰ ਸੋਧ ਲਿੰਕ ਹੈ । ਸੰਭਾਲੇ ਗਏ ਸੋਧ ਜਦੋਂ ਤੱਕ ਤੁਸੀਂ ਅੱਪਡੇਟ ਨਾ ਕਰੋ, ਉਦੋਂ ਤੱਕ ਨਿੱਜੀ ਹੀ ਰਹਿਣਗੇ । ਲੇਖ ਦਾ ਐਡਰੈੱਸ ਬਣਿਆ ਰਹੇਗਾ ਅਤੇ ਮੌਜੂਦਾ ਮਸ਼ੀਨ ਜਾਂਚ ਟੈਕਸਟ ਨਾਲ ਜੁੜੀ ਰਹੇਗੀ, ਜੋ ਕਿ ਉਹਨਾਂ ਨੇ ਜਾਂਚਿਆ ਹੈ ।

ਇੱਕੱਠੇ ਪੜ੍ਹੋ

ਆਪਣੇ ਨਿੱਜੀ ਪੜ੍ਹਨ ਲਿਸਟ ਵਿੱਚ ਪੱਤਰ ਸੰਭਾਲੋ ਅਤੇ ਇੱਕ ਨਿੱਜੀ ਲੇਖਕ ਜਾਂ ਵਿਸ਼ੇ ਲਈ ਫੋਲਡਰ ਵੇਖੋ ਹੇਠਾਂ ਫੀਡ । ਤੁਹਾਡੇ ਪੱਤਰਾਂ ਅਤੇ ਟਿੱਪਣੀਆਂ ਦਾ ਜਵਾਬ ਇਸ ਵਿੱਚ ਵੇਖਾਇਆ ਜਾਵੇਗਾ ਤੁਹਾਨੂੰ ਜਵਾਬ.

ਇੱਕ ਕਿਤਾਬ ਜਾਂ ਸੀਰੀਜ਼ ਬਣਾਓ ਆਪਣੇ ਪਬਲਿਸ਼ਡ ਪੱਤਰਾਂ ਨੂੰ ਕੁਨੈਕਟ ਕਰਨ ਲਈ । ਚੈਪਟਰ ਸ਼ਾਮਲ ਕਰੋ, ਉਨ੍ਹਾਂ ਦਾ ਕ੍ਰਮ ਬਣਾਓ ਅਤੇ ਸਮੱਗਰੀ ਨੂੰ ਪਬਲਿਕ ਬਣਾਓ ਜਦੋਂ ਤਿਆਰ ਹੋ । ਇੱਕ ਨਿੱਜੀ ਭੰਡਾਰ ਆਪਣੀ ਸਮੱਗਰੀ ਲਿਸਟ ਨੂੰ ਓਹਲੇ ਕਰ ਦਿੰਦਾ ਹੈ; ਇਸ ਦੇ ਪੱਤਰ ਇੱਕ- ਇੱਕ ਕਰਕੇ ਪਬਲਿਸ਼ਡ ਰਹਿੰਦੇ ਹਨ ।

ਮਾਰਕ

∎ ਇੱਕ ਕਿਹਾ ਜਾਂਦਾ ਹੈ halmos, ਪਾਲ Halmos ਦੇ ਨਾਂ ਉੱਤੇ, ਜਿਸ ਨੇ proof- end ਨਿਸ਼ਾਨ ਪੇਸ਼ ਕੀਤਾ । ਇਹ ਇਸ ਸਾਇਟ ਉੱਤੇ ਇੱਕੋ ਇੱਕ ਚੀਜ ਹੈ, ਜੋ ਕਿ ਅਧਿਕਾਰ ਰੱਖਦੀ ਹੈ, ਇਸ ਲਈ ਇਹ ਜਾਣਬੁੱਝ ਕੇ ਲੈਣਾ ਮੁਸ਼ਕਲ ਹੈ:

ਕੇਵਲ Lean ਹੀ ਇਸ ਨੂੰ ਸੈੱਟ ਕਰ ਸਕਦਾ ਹੈ । Sage ਪਰਿੰਟਿੰਗ True ਇਹ ਸਬੂਤ ਹੈ, ਸਬੂਤ ਨਹੀਂ।
sorry, native_decide, ਤਾਜ਼ਾ axiom, unsafe ਅਤੇ debug.skipKernelTC ਰੱਦ ਕੀਤੇ ਗਏ ਹਨ ਪਹਿਲਾਂ ਫਾਇਲ ਚੱਲਦੀ ਹੈ, ਇਸ ਲਈ ਇੱਕ ਝੂਠਾ ਵੀ ਕੰਪਿਊਟਿੰਗ ਨਹੀਂ ਕਰ ਸਕਦਾ ਹੈ ।
ਇੱਕ ਚੱਲਣ ਨੂੰ ਉਸ ਪਾਠ ਨਾਲ ਹੀ ਫਿੱਕਾ ਕੀਤਾ ਜਾਂਦਾ ਹੈ, ਜਿਸ ਨੇ ਇਸ ਨੂੰ ਬਣਾਇਆ ਹੈ । ਪੱਤਰ ਸੋਧੋ ਅਤੇ ਨਿਊ ਸ਼ਬਦਾਂ ਵਿੱਚ ਤਬਦੀਲ ਕਰਨ ਦੀ ਬਜਾਏ ਮਾਰਕ ਪੁਰਾਣਾ ਹੋ ਜਾਵੇਗਾ ।
ਜੇਕਰ ਚੈਕਰ ਹੇਠਾਂ ਹੈ ਤਾਂ ਤੁਸੀਂ ਪ੍ਰਾਪਤ ਕਰੋਗੇ "ਚਲਾਇਆ ਨਹੀਂ ਜਾ ਸਕਿਆ", ਕਦੇ ਨਹੀਂ "ਪਾਬੰਦੀ". ਹਾਲਤ ਚੈੱਕਰ ਇਸ ਲਈ ਇਹ ਪਬਲਿਕ ਹੈ।

ਆਮ

ਜਾਂਚ ਸਸਤਾ ਹੈ; ਖੋਜ ਨਹੀਂ ਹੈ। ਆਮ ਇਹ ਇੱਕ ਸਾਂਝਾ ਕੰਪਿਊਟਿੰਗ ਪੁਲ ਹੈ, ਜੋ ਕਿ ਇਸ ਬੋਰਡ ਵਲੋਂ ਚੁਣੀਆਂ ਖੁੱਲ੍ਹੀਆਂ ਸਮੱਸਿਆਵਾਂ ਉੱਤੇ ਕੰਮ ਕਰਦਾ ਹੈ । ਕੋਈ ਵੀ ਇਸ ਵਿੱਚ ਯੋਗਦਾਨ ਦੇ ਸਕਦਾ ਹੈ, ਨਤੀਜਾ ਕਿਸੇ ਦਾ ਨਹੀਂ ਹੈ, ਅਤੇ ਹਰੇਕ ਰਨ ਇਹ ਫੰਡ ਪਬਲਿਕ ਹੈ, ਜਿਨ੍ਹਾਂ ਵਿੱਚ ਉਹ ਵੀ ਸ਼ਾਮਲ ਹਨ, ਜੋ ਕਿ ਕਿਤੇ ਨਹੀਂ ਗਏ, ਜੋ ਕਿ ਆਮ ਤੌਰ ਉੱਤੇ ਜਾਣਕਾਰੀ ਦੇਣ ਵਾਲੇ ਹਨ ।

ਇਹ ਕਿਹੜਾ ਚਲਾ ਰਿਹਾ ਹੈ

Halmos ਅਜ਼ਾਦ ਅਤੇ ਛੋਟਾ ਹੈ । ਜੇਕਰ ਇੱਥੇ ਕੁਝ ਗਲਤ ਹੈ ਤਾਂ ਇਹ ਸਾਬਤ ਕਰਨ ਦਾ ਸਭ ਤੋਂ ਤੇਜ਼ ਢੰਗ ਸਰਵਰ ਨੂੰ ਚਲਾਉਣ ਲਈ ਇੱਕ ਬਲਾਕ ਹੈ । ਸੰਪਰਕ ਵਿੱਚ ਆਓ.