A Computable Solution to Partee’s Temperature Puzzle

DOI10.1007/978-3-662-53826-5_11MaRDI QIDQ2964003zbMATH OpenOpenAlexFDO

Authors Kristina Liefke, Sam Sanders

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_11

zbMATH Keywords

computabilityindividual conceptscontinuous functionalsassociatestemperature puzzle

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• An assignment problem at high temperature
• A temperature problem for a square: An exact solution
• A Bound for the Temperature in the Thermistor Problem
• Computability at zero temperature
• Resolution of temperature problems by the use of finite Fourier transformations
• Mathematical solution of the Gibbs paradox
• A problem of measurement of temperature solved using the one-dimensional heat equation
• An iterative method for reconstruction of temperature
• On the Kelvin problem
• Optimal algorithms for computing average temperatures

Cites work

• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 6900696 (Why is no real title available?)
• scientific article; zbMATH DE number 1870414 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• A constructive model of uniform continuity
• A relational formulation of the theory of types
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Computational semantics with functional programming
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Higher-order computability
• Hyperintensions
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Modified bar recursion
• Natural language semantics and computability
• Recursion on the countable functionals

This page was built for publication: A Computable Solution to Partee’s Temperature Puzzle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964003)