<--- Back to Details
First PageDocument Content
Mathematics / Theoretical computer science / Theory of computation / Structural complexity theory / Computability theory / Halting problem / Mathematical proof / Undecidable problem / Negation / Reductio ad absurdum / Reduction / Square root of 2
Date: 2007-04-18 22:48:16
Mathematics
Theoretical computer science
Theory of computation
Structural complexity theory
Computability theory
Halting problem
Mathematical proof
Undecidable problem
Negation
Reductio ad absurdum
Reduction
Square root of 2

Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary

Add to Reading List

Source URL: philosopher-animal.com

Download Document from Source Website

File Size: 147,98 KB

Share Document on Facebook

Similar Documents

There is no logical negation: true, false, both and neither Jc Beall entailments.net University of Connecticut University of Tasmania

There is no logical negation: true, false, both and neither Jc Beall entailments.net University of Connecticut University of Tasmania

DocID: 1v4xL - View Document

GRAMMAIRE ET DISCOURS Cours 2 : les présuppositions 1. Caractérisation intuitive Des inférences qui résistent à la négation, à l’interrogation, à l’enchâssement sous une modalité. Les énoncés (1b-d) conse

GRAMMAIRE ET DISCOURS Cours 2 : les présuppositions 1. Caractérisation intuitive Des inférences qui résistent à la négation, à l’interrogation, à l’enchâssement sous une modalité. Les énoncés (1b-d) conse

DocID: 1uYXu - View Document

Abstract Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterance

Abstract Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterance

DocID: 1uIjP - View Document

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

DocID: 1uAtc - View Document

Université Paris Sorbonne – Sémantique Avancée Négation méta-linguistique [Horn, 1989, Carston, 1998, Geurts, 1998] (≈ négation polémique [Ducrot, 1972, Muller, 1991])

Université Paris Sorbonne – Sémantique Avancée Négation méta-linguistique [Horn, 1989, Carston, 1998, Geurts, 1998] (≈ négation polémique [Ducrot, 1972, Muller, 1991])

DocID: 1uxLO - View Document