We werken aan het herstellen van de Unionpedia-app in de Google Play Store
UitgaandeInkomende
🌟We hebben ons ontwerp vereenvoudigd voor betere navigatie!
Instagram Facebook X LinkedIn

Zelfreferentie

Index Zelfreferentie

Ouroboros, symbool voor zelfreferentie Zelfreferentie is een term uit de formele wetenschappen, met name de logica, informatica en filosofie, die het vermogen van een formeel systeem aanduidt om naar zichzelf te verwijzen.

Inhoudsopgave

  1. 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.

  2. Logica
  3. Taalfilosofie

Autologie

Autologie betekent in het algemeen "een studie die op zichzelf betrekking heeft".

Bekijken Zelfreferentie en Autologie

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.

Bekijken Zelfreferentie en Compiler

Filosofie

De filosofie of wijsbegeerte is de oudste theoretische discipline die het streven uitdrukt naar kennis en wijsheid.

Bekijken Zelfreferentie en Filosofie

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.

Bekijken Zelfreferentie en Formeel systeem

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.

Bekijken Zelfreferentie en Formele wetenschap

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.

Bekijken Zelfreferentie en Gödel, Escher, Bach

Informatica

Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.

Bekijken Zelfreferentie en Informatica

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Bekijken Zelfreferentie en Logica

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.

Bekijken Zelfreferentie en Natuurlijke taal

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.

Bekijken Zelfreferentie en Onvolledigheidsstellingen van Gödel

Paradox (logica)

Een penrose-driehoek Een paradox is een tegenstrijdige conclusie die niettemin ontstaat als gevolg van een correcte redenatie binnen een correcte hypothese.

Bekijken Zelfreferentie en Paradox (logica)

Pragmatische paradox

In de taalfilosofie is een pragmatische paradox een tegenspraak tussen de inhoud van een uitspraak en de pragmatische implicaties daarvan.

Bekijken Zelfreferentie en Pragmatische paradox

Programmeertaal

Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.

Bekijken Zelfreferentie en Programmeertaal

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.

Bekijken Zelfreferentie en Recursie

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.

Bekijken Zelfreferentie en Turingvolledigheid

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.

Bekijken Zelfreferentie en Wij van Wc-eend adviseren Wc-eend

Zelfvervuller

Een zelfvervuller is een woord dat zelf de eigenschap bezit die het benoemt.

Bekijken Zelfreferentie en Zelfvervuller

Zie ook

Logica

Taalfilosofie