Mostra notizie nelle discussioni
  • Avatar
    Scritto da
    Non Autenticato
    il 2007-05-17 18:41:00.0 alle 2007-05-17 18:41:00.0
    dimostrazioni logiche
    cerco link che spieghino come costruire un teorema
    che dimostri un' ipotesi



    ..facciamone un elenco

    1)dimostrazione per assurdo

    2)per il terzo escluso Aristotelica

    poi?

    qualche chiarimento su queste o altre?
    • Avatar
      ☺
      Scritto da
      avvelentani
      Cubicolario
      il 2007-05-17 19:05:00.0 alle 2007-05-17 19:05:00.0
      Trollate totali: 18184
      Re: dimostrazioni logiche

      - Scritto da:
      > cerco link che spieghino come costruire un
      > teorema
      >
      > che dimostri un' ipotesi
      >
      >
      >
      > ..facciamone un elenco
      >
      > 1)dimostrazione per assurdo
      >
      > 2)per il terzo escluso Aristotelica
      >
      > poi?
      >
      > qualche chiarimento su queste o altre?

      1) diretta
      2) per assurdo
      3) per induzione
      4) per casi

      in campi particolari della matematica ricorrono altre forme di dimostrazione (in informatica e` frequente l'induzione su una struttura, ad esempio) ma gran parte sono in quelle quattro categorie.
      I think happiness is love
      - Vladimir Putin
      • Avatar
        ☺
        Scritto da
        Wakko Warner
        Wakkus Horribilis
        il 2007-05-17 19:14:00.0 alle 2007-05-17 19:14:00.0
        Trollate totali: 6779
        Re: dimostrazioni logiche

        - Scritto da: avvelentani
        >
        > - Scritto da:
        > > cerco link che spieghino come costruire un
        > > teorema
        > >
        > > che dimostri un' ipotesi
        > >
        > >
        > >
        > > ..facciamone un elenco
        > >
        > > 1)dimostrazione per assurdo
        > >
        > > 2)per il terzo escluso Aristotelica
        > >
        > > poi?
        > >
        > > qualche chiarimento su queste o altre?
        >
        > 1) diretta
        > 2) per assurdo
        > 3) per induzione
        > 4) per casi
        >
        > in campi particolari della matematica ricorrono
        > altre forme di dimostrazione (in informatica e`
        > frequente l'induzione su una struttura, ad
        > esempio) ma gran parte sono in quelle quattro
        > categorie.

        C'è anche la 5.

        5) Per intervento divino

        È quella che si usa spessissimo nei compiti quando non si sa come procedere.
        Gli Svizzeri non sono tutti ricchi - Mattia
        • Avatar
          ☺
          Scritto da
          avvelentani
          Cubicolario
          il 2007-05-17 19:15:00.0 alle 2007-05-17 19:15:00.0
          Trollate totali: 18184
          Re: dimostrazioni logiche

          - Scritto da: Wakko Warner
          >
          > - Scritto da: avvelentani
          > >
          > > - Scritto da:
          > > > cerco link che spieghino come costruire un
          > > > teorema
          > > >
          > > > che dimostri un' ipotesi
          > > >
          > > >
          > > >
          > > > ..facciamone un elenco
          > > >
          > > > 1)dimostrazione per assurdo
          > > >
          > > > 2)per il terzo escluso Aristotelica
          > > >
          > > > poi?
          > > >
          > > > qualche chiarimento su queste o altre?
          > >
          > > 1) diretta
          > > 2) per assurdo
          > > 3) per induzione
          > > 4) per casi
          > >
          > > in campi particolari della matematica ricorrono
          > > altre forme di dimostrazione (in informatica e`
          > > frequente l'induzione su una struttura, ad
          > > esempio) ma gran parte sono in quelle quattro
          > > categorie.
          >
          > C'è anche la 5.
          >
          > 5) Per intervento divino
          >
          > È quella che si usa spessissimo nei compiti
          > quando non si sa come
          > procedere.
          Rotola dal ridereRotola dal ridereGeekRotola dal ridereRotola dal ridere
          I think happiness is love
          - Vladimir Putin
      • Avatar
        Scritto da
        Non Autenticato
        il 2007-05-17 19:14:00.0 alle 2007-05-17 19:14:00.0
        Re: dimostrazioni logiche

        - Scritto da: avvelentani
        >
        > - Scritto da:
        > > cerco link che spieghino come costruire un
        > > teorema
        > >
        > > che dimostri un' ipotesi
        > >
        > >
        > >
        > > ..facciamone un elenco
        > >
        > > 1)dimostrazione per assurdo
        > >
        > > 2)per il terzo escluso Aristotelica
        > >
        > > poi?
        > >
        > > qualche chiarimento su queste o altre?
        >
        > 1) diretta
        > 2) per assurdo
        > 3) per induzione
        > 4) per casi
        >
        > in campi particolari della matematica ricorrono
        > altre forme di dimostrazione (in informatica e`
        > frequente l'induzione su una struttura, ad
        > esempio) ma gran parte sono in quelle quattro
        > categorie.

        ah! interessante Sorride

        mmmm hai per caso dei link? o mi spiegheresti tu
        un po' più approfonditamente ognuna di esse? Sorride
        • Avatar
          ☺
          Scritto da
          avvelentani
          Cubicolario
          il 2007-05-17 19:28:00.0 alle 2007-05-17 19:28:00.0
          Trollate totali: 18184
          Re: dimostrazioni logiche

          - Scritto da:
          >
          > - Scritto da: avvelentani
          > >
          > > - Scritto da:
          > > > cerco link che spieghino come costruire un
          > > > teorema
          > > >
          > > > che dimostri un' ipotesi
          > > >
          > > >
          > > >
          > > > ..facciamone un elenco
          > > >
          > > > 1)dimostrazione per assurdo
          > > >
          > > > 2)per il terzo escluso Aristotelica
          > > >
          > > > poi?
          > > >
          > > > qualche chiarimento su queste o altre?
          > >
          > > 1) diretta
          > > 2) per assurdo
          > > 3) per induzione
          > > 4) per casi
          > >
          > > in campi particolari della matematica ricorrono
          > > altre forme di dimostrazione (in informatica e`
          > > frequente l'induzione su una struttura, ad
          > > esempio) ma gran parte sono in quelle quattro
          > > categorie.
          >
          > ah! interessante Sorride
          >
          > mmmm hai per caso dei link? o mi spiegheresti tu
          > un po' più approfonditamente ognuna di esse? Sorride

          Fossi in te proverei a cercare su wikiPEDiA

          altrimenti


          DIRETTA:
          Tesi: q, Ipotesi: p (assiomi compresi)
          p -> a1 -> a2 -> ... -> an -> q

          PER ASSURDO:
          Tesi: q, Ipotesi: p (assiomi compresi)
          (non q) -> a1 -> ... -> an
          con (an e Pirata che e` una contraddizione

          PER CASI:
          Tesi: perogni x in U . P(x)
          Si partiziona U in U1 ... Un
          e si dimostrano le n tesi:
          i. perogni x in Ui . P(x) (i = 1 .. n)

          PER INDUZIONE:
          Tesi: perogni x in U . P(x)
          Su U deve essere definito un ordinamento totale completo lineare e superfigo e ci deve essere un elemento iniziale 0:
          si dimostra P(0) e si dimostra che P(x) -> P(x+1) per ogni x in U

          Ma io sono solo un poveraccio, questo post sara` pieno di errori.
          I think happiness is love
          - Vladimir Putin
        • Avatar
          ☺
          Scritto da
          Wakko Warner
          Wakkus Horribilis
          il 2007-05-17 19:37:00.0 alle 2007-05-17 19:37:00.0
          Trollate totali: 6779
          Re: dimostrazioni logiche

          - Scritto da:
          > mmmm hai per caso dei link? o mi spiegheresti tu
          > un po' più approfonditamente ognuna di esse? Sorride

          Ti faccio una dimostrazione per assurdo:

          Th. (di Euclide): Esistono infiniti numeri primi.

          Dim:
          Supponiamo siano finiti (in pratica parto dalla negazione del teorema e cerco di finire in una contraddizione). Se sono finiti allora li posso numerare: p1, p2, ...., pn

          Consideriamo il numero a=p1*p2*p3*...*pn + 1

          Per il Th. fondamentale dell'aritmetica il numero "a" è il prodotto di numeri primi (dice che tutti i numeri interi [a parte 0, -1 e 1] sono prodotto di numeri primi). Dunque, se "a" è prodotto di numeri primi in particolare esisterà un numero primo "q" che lo divide, ma "q" divide anche p1*p2*...*pn perché deve per forza essere uno di essi (per l'ipotesi che i numeri primi sono finiti e p1...pn sono tutti i numeri primi, quindi anche q). Sappiamo che se un numero "b" divide un numero "c" e un numero "d" allora divide anche la loro differenza (c-d).

          Dunque, se q divide a e q divide p1*p2*...*pn allora q divide anche a-pi*p2*...pn.
          Ma siccome a=p1*p2*p3*...*pn + 1 abbiamo che a-p1*p2*p3*...*pn = 1

          Questo significherebbe che q divide 1, ma solo 1 e -1 dividono 1 quindi q può essere solo o 1 oppure -1 MA 1 e -1 NON sono numeri primi.

          Abbiamo così trovato una contraddizione. Abbiamo usato solo risultati che sappiamo essere veri quindi l'errore è nell'ipotesi: ossia che i numeri primi siano finiti.

          Questa è una dimostrazione per assurdo.
          Gli Svizzeri non sono tutti ricchi - Mattia
          • Avatar
            Scritto da
            Non Autenticato
            il 2007-05-17 20:03:00.0 alle 2007-05-17 20:03:00.0
            Re: dimostrazioni logiche
            grazie a tutti per le risposte..cmq io non mi riferivo ai numeri ma proprio a dimostrazioni con proposizioni
            • Avatar
              Scritto da
              Non Autenticato
              il 2007-05-17 21:04:00.0 alle 2007-05-17 21:04:00.0
              Re: dimostrazioni logiche

              - Scritto da:
              > grazie a tutti per le risposte..cmq io non mi
              > riferivo ai numeri ma proprio a dimostrazioni con
              > proposizioni

              Cambia zero, numeri proposizioni orsetti o simboli celti la logica funziona allo stesso modo, e così le dimostrazioni
              • Avatar
                ☺
                Scritto da
                avvelentani
                Cubicolario
                il 2007-05-17 23:23:00.0 alle 2007-05-17 23:23:00.0
                Trollate totali: 18184
                Re: dimostrazioni logiche

                - Scritto da:
                >
                > - Scritto da:
                > > grazie a tutti per le risposte..cmq io non mi
                > > riferivo ai numeri ma proprio a dimostrazioni
                > con
                > > proposizioni
                >
                > Cambia zero, numeri proposizioni orsetti o
                > simboli celti la logica funziona allo stesso
                > modo, e così le
                > dimostrazioni

                Esatto. A meno che non voglia sapere le 'dimostrazioni' dei filosofi cazzari, in quel caso sono:

                1) dimostrazione diretta
                2) dimostrazione per assurdo
                3) dimostrazione sbagla
                4) dimostrazione per vaghezza
                5) dimostrazione per offuscamento
                6) appello all'autorita`
                I think happiness is love
                - Vladimir Putin
                • Avatar
                  Scritto da
                  Non Autenticato
                  il 2007-05-18 01:48:00.0 alle 2007-05-18 01:48:00.0
                  Re: dimostrazioni logiche
                  - Scritto da: avvelentani
                  >
                  > - Scritto da:
                  > >
                  > > - Scritto da:
                  > > > grazie a tutti per le risposte..cmq io non mi
                  > > > riferivo ai numeri ma proprio a dimostrazioni
                  > > con
                  > > > proposizioni
                  > >
                  > > Cambia zero, numeri proposizioni orsetti o
                  > > simboli celti la logica funziona allo stesso
                  > > modo, e così le
                  > > dimostrazioni
                  >
                  > Esatto. A meno che non voglia sapere le
                  > 'dimostrazioni' dei filosofi cazzari, in quel
                  > caso
                  > sono:
                  >
                  > 1) dimostrazione diretta
                  > 2) dimostrazione per assurdo
                  > 3) dimostrazione sbagla
                  > 4) dimostrazione per vaghezza
                  > 5) dimostrazione per offuscamento
                  > 6) appello all'autorita`

                  poi spiegherai cosa significa "dimostrazione sbagla"
                  • Avatar
                    ☺
                    Scritto da
                    avvelentani
                    Cubicolario
                    il 2007-05-18 08:04:00.0 alle 2007-05-18 08:04:00.0
                    Trollate totali: 18184
                    Re: dimostrazioni logiche

                    - Scritto da:
                    > - Scritto da: avvelentani
                    > >
                    > > - Scritto da:
                    > > >
                    > > > - Scritto da:
                    > > > > grazie a tutti per le risposte..cmq io non
                    > mi
                    > > > > riferivo ai numeri ma proprio a
                    > dimostrazioni
                    > > > con
                    > > > > proposizioni
                    > > >
                    > > > Cambia zero, numeri proposizioni orsetti o
                    > > > simboli celti la logica funziona allo stesso
                    > > > modo, e così le
                    > > > dimostrazioni
                    > >
                    > > Esatto. A meno che non voglia sapere le
                    > > 'dimostrazioni' dei filosofi cazzari, in quel
                    > > caso
                    > > sono:
                    > >
                    > > 1) dimostrazione diretta
                    > > 2) dimostrazione per assurdo
                    > > 3) dimostrazione sbagla
                    > > 4) dimostrazione per vaghezza
                    > > 5) dimostrazione per offuscamento
                    > > 6) appello all'autorita`
                    >
                    > poi spiegherai cosa significa "dimostrazione
                    > sbagla"

                    Poi lo sphero`.
                    I think happiness is love
                    - Vladimir Putin
<softv>

Pagina generata in 90 millisecondi

Utenti attivi: 8 nell'ultimo minuto, 18 negli ultimi cinque minuti, 52 negli ultimi 15 minuti