Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - فريتز فيتش (ar)
- Frederic Brenton Fitch (de)
- Frederic Brenton Fitch (en)
- Frederic Brenton Fitch (fr)
|
rdfs:comment
| - فريتز فيتش (بالإنجليزية: Frederic Brenton Fitch) هو فيلسوف أمريكي، ولد في 1908 في غرينيتش في الولايات المتحدة، وتوفي في 17 سبتمبر 1987 في نيو هيفن في الولايات المتحدة. (ar)
- Frederic Brenton Fitch (* 9. September 1908 in Greenwich, Connecticut; † 18. September 1987) war ein amerikanischer Logiker und der Entwickler des Fitch-Kalküls. In seinem 1963 veröffentlichten Aufsatz "A Logical Analysis of Some Value Concepts" beweist er "Theorem 5" (ursprünglich von Alonzo Church), welches später im Kontext des berühmt wurde. Fitch war Professor an der Yale University. 1979 wurde er in die American Academy of Arts and Sciences aufgenommen. (de)
- Frederic Brenton Fitch (1908–1987) est un logicien américain, professeur émérite de l’université Yale, connu notamment pour sa variante de la déduction naturelle, appelée style de Fitch de la déduction naturelle. (fr)
|
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Wikipage redirect
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - فريتز فيتش (بالإنجليزية: Frederic Brenton Fitch) هو فيلسوف أمريكي، ولد في 1908 في غرينيتش في الولايات المتحدة، وتوفي في 17 سبتمبر 1987 في نيو هيفن في الولايات المتحدة. (ar)
- Frederic Brenton Fitch (* 9. September 1908 in Greenwich, Connecticut; † 18. September 1987) war ein amerikanischer Logiker und der Entwickler des Fitch-Kalküls. In seinem 1963 veröffentlichten Aufsatz "A Logical Analysis of Some Value Concepts" beweist er "Theorem 5" (ursprünglich von Alonzo Church), welches später im Kontext des berühmt wurde. Fitch war Professor an der Yale University. 1979 wurde er in die American Academy of Arts and Sciences aufgenommen. (de)
- Frederic Brenton Fitch (1908–1987) est un logicien américain, professeur émérite de l’université Yale, connu notamment pour sa variante de la déduction naturelle, appelée style de Fitch de la déduction naturelle. (fr)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is doctoral advisor
of | |
is doctoral advisor
of | |
is foaf:primaryTopic
of | |