R: [Cabrinews] equazioni

[Mario Puppi]

Condivido le obiezioni di Mauro sulla definizione del format che mescola assieme nozioni semantiche con nozioni sintattiche. Sarebbe preferibile avere una definizione puramente sintattica di uguaglianza o di equazione, che possa essere "compresa" anche da un calcolatore. Un'uguaglianza (o equazione) la vedrei bene come un'espressione costruita con il "simbolo di operazione =" seguendo così la sintassi di alcuni linguaggi di programmazione.  




> Cara Giulia
> volevamo sapere che cosa è 3=4 ed ora, se andassimo a leggere il libro citato di Mauro e Walter, scopriamo che dobbiamo sapere che cosa sono:
> proposizione
> insieme
> predicato
> essere uguale
> simbolo =
> punto di vista logico
> frase
> stabilire
> veridicità.
> Insomma siamo entrati in un ginepraio. 
> Allora chiedo
> 2^67-1 = 193707721*761838257277
> che cosa è?
> Un abbraccio
> Mat^Nat
> 
> Tel. 3404178468
> www.webalice.it/mauro.cerasoli
> 
> 
> 
> -----Messaggio originale-----
> Da: cabrinews-bounces a liste.keynes.scuole.bo.it per conto di Giulia Gianoli
> Inviato: lun 29/10/2007 22.01
> A: Lista di discussione sul software matematico
> Oggetto: Re: [Cabrinews] equazioni
>  
> R: [Cabrinews] equazioniDa Format B1 - W.Maraschini, M.Palma - Paravia
> Una uguaglianza è una proposizione, definita in un insieme, il cui predicato è "essere uguale" e viene indicato con il simbolo "=".
> Dal punto di vista logico, una proposizione è una frase di cui si può stabilire la veridicità (cioè, dire se è vera o falsa). 
> Una uguaglianza, perciò, o è vera o è falsa.
> 
> Ciao, Giulia
>   ----- Original Message ----- 
>   From: mauro.cerasoli a alice.it 
>   To: Lista di discussione sul software matematico 
>   Sent: Monday, October 29, 2007 7:49 PM
>   Subject: R: [Cabrinews] equazioni
> 
> 
>   Cara Giulia
>   ok!
>   Ora però bisognerebbe dire che cosa è una uguaglianza. Nel frattempo ho digitato 3=4 su TI-nspire e, dopo aver premuto, enter mi è apparsa la scritta
>   false
>   In inglese vuol dire che 3=4 è falso, cioè non è vero.
>   TI-nspire risponde a questo tipo di domande: invito i seguaci della lista a fare delle prove.
>   Per divertimento, provate a chiedere la formula che dà la somma delle potenze decime (ma anche undicesime e tredicesime) dei primi n numeri naturali. Non si trovano in nessun libro!
>   Alla prossima
>   Mat^Nat
> 
> 
> 
> 
>   Tel. 3404178468
>   www.webalice.it/mauro.cerasoli
> 
> 
> 
>   -----Messaggio originale-----
>   Da: cabrinews-bounces a liste.keynes.scuole.bo.it per conto di Giulia Gianoli
>   Inviato: lun 29/10/2007 16.28
>   A: Lista di discussione sul software matematico
>   Oggetto: Re: [Cabrinews] equazioni
> 
>   R: [Cabrinews] equazioniAmmesso che la definizione di equazione reciti più o meno sempre così:
> 
>   un'equazione è una uguaglianza tra due espressioni contenenti una o più variabili, dette incognite,
>   e risolvere un'equazione significa trovare i valori delle incognite che rendono l'uguaglianza vera,
> 
>   per me 3 = 4 è soltanto un uguaglianza falsa, ma non un'equazione.
>   L'equazione 3+x=4+x è equivalente all'uguaglianza 3 = 4 e quindi è falsa per ogni valore di x.
>   La sua forma normale comunque è 0x=1 che è un'equazione, equivalente all'uguaglianza falsa 0=1.
> 
>   L'equazione 0x=0 è invece equivalente all'uguaglianza sempre vera 0=0, quindi è un'identità.
> 
>   Dico bene?
>   Giulia Gianoli
> 
> 
> 
> 
> ------------------------------------------------------------------------------
> 
> 
>   _______________________________________________
>   Cabrinews mailing list
>   Cabrinews a liste.keynes.scuole.bo.it
>   http://keynes.scuole.bo.it/mailman/listinfo/cabrinews
> 
> 
> 
> ------------------------------------------------------------------------------
> 
> 
>   No virus found in this incoming message.
>   Checked by AVG Free Edition. 
>   Version: 7.5.503 / Virus Database: 269.15.12/1097 - Release Date: 28/10/2007 13.58
> 
>