17 relaties: Autologie, Compiler, Filosofie, Formeel systeem, Formele wetenschap, Gödel, Escher, Bach, Informatica, Logica, Natuurlijke taal, Onvolledigheidsstellingen van Gödel, Paradox (logica), Pragmatische paradox, Programmeertaal, Recursie, Turingvolledigheid, Wij van Wc-eend adviseren Wc-eend, Zelfvervuller.
Autologie
Autologie betekent in het algemeen "een studie die op zichzelf betrekking heeft".
Nieuw!!: Zelfreferentie en Autologie · Bekijk meer »
Compiler
Een compiler (letterlijk samensteller of opbouwer) is een computerprogramma dat een in een brontaal geschreven programma vertaalt in een semantisch equivalent programma in een doeltaal.
Nieuw!!: Zelfreferentie en Compiler · Bekijk meer »
Filosofie
De filosofie of wijsbegeerte is de oudste theoretische discipline die het streven uitdrukt naar kennis en wijsheid.
Nieuw!!: Zelfreferentie en Filosofie · Bekijk meer »
Formeel systeem
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.
Nieuw!!: Zelfreferentie en Formeel systeem · Bekijk meer »
Formele wetenschap
Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
Nieuw!!: Zelfreferentie en Formele wetenschap · Bekijk meer »
Gödel, Escher, Bach
Gödel, Escher, Bach: een eeuwige gouden band (Engels: Gödel, Escher, Bach: an Eternal Golden Braid) is een boek van de Amerikaanse natuurkundige en cognitiewetenschapper Douglas Hofstadter uit 1979.
Nieuw!!: Zelfreferentie en Gödel, Escher, Bach · Bekijk meer »
Informatica
Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.
Nieuw!!: Zelfreferentie en Informatica · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Zelfreferentie en Logica · Bekijk meer »
Natuurlijke taal
Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.
Nieuw!!: Zelfreferentie en Natuurlijke taal · Bekijk meer »
Onvolledigheidsstellingen van Gödel
De onvolledigheidsstellingen van Gödel zijn twee stellingen over de beperkingen van formele systemen, beide bewezen door Kurt Gödel in 1931.
Nieuw!!: Zelfreferentie en Onvolledigheidsstellingen van Gödel · Bekijk meer »
Paradox (logica)
Een penrose-driehoek Een paradox is een tegenstrijdige conclusie die niettemin ontstaat als gevolg van een correcte redenatie binnen een correcte hypothese.
Nieuw!!: Zelfreferentie en Paradox (logica) · Bekijk meer »
Pragmatische paradox
In de taalfilosofie is een pragmatische paradox een tegenspraak tussen de inhoud van een uitspraak en de pragmatische implicaties daarvan.
Nieuw!!: Zelfreferentie en Pragmatische paradox · Bekijk meer »
Programmeertaal
Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.
Nieuw!!: Zelfreferentie en Programmeertaal · Bekijk meer »
Recursie
Recursie (Latijn: recurrere, 'teruglopen') is het optreden van een opeenvolging van constructies waarvan elk afzonderlijk gebaseerd is op een of meer soortgelijke voorgaande constructies.
Nieuw!!: Zelfreferentie en Recursie · Bekijk meer »
Turingvolledigheid
In de berekenbaarheidstheorie wordt een programmeertaal, of een ander systeem om bewerkingen mee uit te drukken, turingvolledig (vaker: turingcompleet) genoemd als het de uitdrukkingskracht heeft van een universele turingmachine.
Nieuw!!: Zelfreferentie en Turingvolledigheid · Bekijk meer »
Wij van Wc-eend adviseren Wc-eend
Wc-eend Wij van Wc-eend adviseren: Wc-eend is een slagzin gebruikt in reclame-uitingen van het product Wc-eend.
Nieuw!!: Zelfreferentie en Wij van Wc-eend adviseren Wc-eend · Bekijk meer »
Zelfvervuller
Een zelfvervuller is een woord dat zelf de eigenschap bezit die het benoemt.
Nieuw!!: Zelfreferentie en Zelfvervuller · Bekijk meer »