OliForum Matematico

La dimostrazione a cui mi riferivo io del quesito iniziale è di tipo logico: si dimostra che se un insieme di formule ha modelli arbitrariamente grandi, allora con il teorema di compattezza, ha un modello infinito. Basta prendere l'insieme delle formule che dicono che esiste un campo di ...

Basta usare il teorema di Lowenheim-Skolem Ascendente, che dice che se una teoria ha un modello numerabile, allora ha un modello di cardinalità $~\kappa$, per ogni $\kappa > \alpeh_0$.

Un altro rilancino, tornando al problema iniziale: dimostrare l'esistenza di un campo infinito di caratteristica p ...

Per dimostrare che i trascendenti hanno la cardinalità del continuo, si dimostra facilmente sempre prima la numerabilità degli algebrici.

E' interessante, però, trovare una dimostrazione diretta, cioè definire una biezione f: \mathbb{R} \to T , con T l'insieme dei numeri reali trascendenti. Postate ...

Propongo questo quesito carino. Dimostrare l'esistenza di un campo infinito di caratteristica $ ~ p $, per ogni $ ~ p $ primo.

Quando tornerà piever, avrà il dovere (:D) di farci vedere le soluzioni dei 5 problemi che ha risolto.

Per amor di logica, nonno bassotto, tu hai dimostrato che esiste un h per cui vale quella roba, non che vale per tutti gli $ h \le n $.

Se siamo nei reali, non lo è.

Ma sì che lo è. Il modo più divertente per definire l'infinità dei naturali è di avere un infinito numeri di assiomi di questo tipo

$ \exists x_1 $
$ \exists x_1 \exists x_2 x_1\ne x_2 $
$ \exists x_2 \exists x_2 \exists x_3 (x_1\ne x_2, x_1\ne x_3, x_2\ne x_3) $
$ \vdots $

Yep, 1998. Avrei dovuto specificare: niente forza bruta.

Bah, può essere che funzioni con gli integrali, ma la via migliore è molto più elementare.

Trovare l'intero piu' grande minore di $ \displaystyle 1+\frac1{\sqrt{2}}+\frac1{\sqrt{3}}+\cdots+\frac1{\sqrt{1000000}} $.

Che range di interi da' _w64?

l'effetto e' diverso:
col define la sostituzione viene fatto dal preprocessore, quindi al momento della compilazione, mentre definendo la variabile la sostituzione viene al momento dell'esecuzione con accesso alla memoria



hai controllato che il tuo sistema non usi gia' 1bit per i bool?

Ti ...

mykelyk ha scritto:

Codice: Seleziona tutto

#define N 1000000000

Non mi funziona, non ho la più vaga idea del perchè.
Potrei naturalmente inserire una nuova variabile N = 1000000000, ma l'algoritmo sarebbe più lento.

Prova .

Così ha anche senso l'array dinamico, dato che prima sarebbe stato meglio dichiararlo normalmente.

Infatti, quello che penso anch'io, ma non vuole proprio capire che quel problema non lo risolverà mai. Vabbé, se insiste ancora, ci rinuncio.