Home Chi siamo Prodotti Servizi Collaborazioni Download Partner Login Social

L'epistemologia informatica è il ramo di epistemologia, delle epistemologie disciplinari, che è progettato per studiare l'informatica come Scienza per determinare la sua epistemologia, cioè, in primo luogo il suo oggetto (s), i suoi principi, i suoi concetti fondamentali, le teorie e risultati, cioè quello che costituisce, e in secondo luogo i suoi metodi di costruzione di nuove conoscenze, il processo di inferenza e l'emergere di nuovi concetti, elementi responsabili del suo sviluppo, e, infine, i suoi fondamenti, le sue origini, la sua portata oggettiva, vale a dire quello che giustifica il concerto di Scienza^..

Oggetti di informatica

All'incrocio di definizioni di dati informatici da autori moderni, tre appaiono gli elementi. Non uno, ma tre, uno non sembra sufficiente, la presenza di altri sembrava necessario per definire il tutto. E 'nell'ordine dai più astratti ai concreti, i seguenti concetti:

• il concetto di Informazioni,

• il concetto di algoritmo e

• il concetto di macchina.

F. Varennes dà una definizione di  informatica  come scienza di elaborazione delle informazioni con una macchina dove ci sono questi tre termini.

Algoritmi

Tra  gli obiettivi principali del calcolo il più ovvio è l'algoritmo. La scienza della sistematica dei processi di risoluzione, attraverso il calcolo di un problema. Una scienza correlato al verbo fare. Termini di trasformazione, informatica, automazione, processo ... sono a volte utilizzati.

Per O.D. Knuth, Scienza informatica avrebbe dovuto sapere "algoritmica". Tuttavia, gli algoritmi esistevano prima dell'avvento del computer, prima della comparsa delle prime macchine e sono considerati  indipendentemente dall'esistenza di queste macchine. E' un argomento che molti considerano possa far parte della matematica (cioè, non introduce un nuovo paradigma scientifico, avendo la stessa epistemologia matematica).

Se l'informatica non è solo algoritmo, si deve ancora vedere la pervasività di questo concetto in tutti i rami di informatica (come spesso come la nozione di lingua). Strati più bassi delle macchine, ai più alti astrazioni del concetto di problema, ci sono algoritmi. La macchina è un algoritmo di fisica (elettronica), un problema o una classe di problemi è considerato nei confronti di algoritmi.

Informazioni

Dobbiamo essere più precisi, vi è una scienza delle informazioni, non informatica , una scienza dell'informazione e della comunicazione, anche. Ciò che caratterizza la informatica è in informazioni digitali, digitale e in qualche modo astratto e simbolico (che è uno dei suoi punti di forza). Questo non è più una informazione analogica. Secondo Von Neumann  il successo insolente della tecnologia dell'informazione, viene soprattutto per il passaggio da un mondo analogico al mondo digitale: Nella riduzione, all'infinito, il rapporto segnale / rumore / segnale. Nel mondo analogico, i guadagni di un segnale / rumore sono sempre più costosi per forza come si progredisce, nel mondo digitale, è vero il contrario.

Se il concetto di codifica, la rappresentazione delle informazioni è spesso presente in informatica, è spesso omesso, in quanto implicita, come se non fosse necessario specificare in particolare.

In inglese, due parole sono usate per il nome informatica  ('informatica' il termine non è utilizzato, era originariamente il nome di una società, può essere utilizzato solo quando questo termine è caduta in pubblico dominio^[7]):

• "Computer Science", il più usato, sostenendo il termine di scienza e sottolinea che il suo scopo dovrebbe essere, se prendiamo il termine letteralmente, la macchina, e la mente.

• "Trattamento dei dati", o scienza del trattamento dei dati, ossia la scienza della elaborazione delle informazioni.

O.D. Knuth nella sua ricerca di un nome per informatica , questa particolare riguardo alle informazioni critiche il termine francese. "Computer Science è conosciuto come" informatica "in altre lingue: francese, tedesco, e diversi, di ricercatori americani sono stati riluttanti ad abbracciare perché sembra che al termine posto un'enfasi eccessiva sulle cose che i computer MANIPULATO piuttosto che sul processo di gestione .

Macchine

Il termine "computer science" mette la macchina nel centro di computer come il principale oggetto di studio di questa scienza giovane. Questa scelta pone una serie di recensioni:

• E 'troppo spazio per alcuni, come Dijkstra"Computer Science non è più sui computer di astronomia Telescope è circa."

• Si tratta di una fonte di stima, per gli altri perché questo tende a ridurre la tecnologia informatica.

Tuttavia, i computer hanno davvero iniziato con l'avvento delle prime macchine, e la sua crescita seguito l'ascesa delle macchine. Dimenticate la macchina sembra essere un grave errore per capire l'epistemologia della scienza informatica.

Una delle ragioni per l'importanza del computer macchina è, per alcuni, che nessuna macchina, l'informatica rimane una formale e, quindi, una scienza che può essere memorizzato come un discipline della matematica. Con l'arrivo della macchina è l'introduzione, l'emergere di una vera e propria scienza formale, che osserviamo il confronto e formale / reale. E 'il confronto tra la scienza teorica e realizzazione pratica, che ricorda dualità tra algoritmi e di programmazione, tra Macchina di Turing e Architettura di Von NeumannTra teoria della complessità e il benchmarking ...

Sulla macchina parola, altri preferiscono il termine computer, ma se si guarda troppo largo, l'altro è forse troppo stretta.

Se la macchina di riferimento non è costante in informatica, vi è una preoccupazione diffusa implicita per quanto riguarda il rapporto con la realtà che l'esistenza della macchina richiede. Per esempio, gli algoritmi sono spesso impostato come limite di complessità degli algoritmi lineare o quadratica, che è quello che è ragionevole per l'esecuzione su una macchina. Inoltre, rimanendo algoritmi polinomiali sono ritenuti costosi, e algoritmi di approssimazione possono essere cercati. Al di là di nuovo, a rispettare la complessità della classe esponenziale del problema è eufemisticamente chiamato "hard", che significa non realistico.