Search for the language of algorithms

DURNOVÁ, Helena. Search for the language of algorithms. 2012.

Základní údaje

Originální název

Search for the language of algorithms

Autoři

DURNOVÁ, Helena

Vydání

2012

---

Další údaje

Jazyk

angličtina

Typ výsledku

Vyžádané přednášky

Obor

60101 History

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Označené pro přenos do RIV

Ne

Organizační jednotka

Pedagogická fakulta

Klíčová slova anglicky

programming languages; ALGOL 60;

Příznaky

Mezinárodní význam

---

Anotace

V originále

One of the crucial landmarks in the history of programming is ALGOL 60, an 'algorithmic language'. This language was explicitly designed to be 'as close as possible to mathematical notation'. What were the reasons behind advocating mathematical notation for the formulation of algorithms? Are there any common traits between those and the ones for calling computers mathematical machines? Nowadays, the word algoithm denotes such solutions to a problem that do not require the use of creative thinking. of the solver is not necessary. Such solution were described in mathematical texts since antiquity. The attempts at explaining such procedures accurately can commonly be found in mathematical articles. In mathematics of the early 20th century, formalization of the language was one of the ways to avoid the danger of making a mistake. In my talk, I will show the echoes of Turing's 1936 and 1950 papers in the search of the language for algorithms and explore the connection between computer science and mathematics which seems to be so obvious.