Beweren en bewijzen/het verhaal/4. Correctheid
Uit Werkplaats
literatuur |
Een →artefact noemen we correct, als het doet wat het moet doen. Een reeks van tekens noemen we een correcte (niet noodzakelijk ware) formule, als ze in de desbetreffende taal iets betekent. Een redenering noemen we correct, als ze sluitend is.
Wat betekent dit allemaal precies?