@lysander sarebbe dire che tutti devono avere competenza avanzate di logica proposizionale (la cosa più vicina all'informatica che ci sia) appunto. In generale ogni sapere teorico è utile, ma oramai si intende l'informatica solo in ottica professionalizzante, saper scrivere codice velocemente per essere assunto

Io sta cosa a scuola non la voglio.

@valhalla

sarebbe dire che tutti devono avere competenza avanzate di logica proposizionale (la cosa più vicina all'informatica che ci sia)

Questo, io credo, è vero quando si considera il programmare come appunto interfacciarsi con un interprete e fargli fare cose. Quando si considera "programmare" nella maniera più ampia di "rappresentare, trasmettere e manipolare il ragionamento" invece si arriva rapidamente a cose come la teoria dei modelli, con ben più libertà e profondità della logica proposizionale!
Far sì che le persone si pongano domande in quella direzione, ovviamente senza arrivare ad avere competenza avanzata, lo reputo un obbiettivo desiderabile, e in quell'ottica, programmare insegna a pensare.

Detto ciò, concordo sul dire che quando steve jobs ha pensato lo slogan non aveva assolutamente in mente quello di cui sopra, ma confondeva ad arte la programmazione diciamo "operativa" e quella più "astratta"

E concordo anche nel lamentarsi di questa ossessiva professionalizzazione che da un lato mi fa paura, perché fornisce degli strumenti effettivamente potenti con nemmeno un'infarinatura dei concetti che dovrebbero guidarne l'utilizzo.
Dall'altro mi suscita una rabbia indicibile, perché riempie il mondo di scimmiette che mettono le loro manine sui sistemi convinti di essere sapienti e fanno una marea di casini.
Da un'ennesimo lato, ora che ci penso, infinita tristezza perché un campo bello e intrigante come l'informatica viene vituperato e asservito al capitale, e imposto a un sacco di gente che vivrebbe più contenta senza