A Computable Solution to Partee’s Temperature Puzzle

DOI10.1007/978-3-662-53826-5_11zbMATH Open1485.03069OpenAlexW2554316162MaRDI QIDQ2964003FDOQ2964003

Sam Sanders, Kristina Liefke

Publication date: 22 February 2017

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

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

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

zbMATH Keywords

computabilityindividual conceptscontinuous functionalsassociatestemperature puzzle

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursion on the countable functionals
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• Higher-Order Computability
• A Constructive Model of Uniform Continuity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Modified bar recursion
• Title not available (Why is that?)
• Title not available (Why is that?)
• A relational formulation of the theory of types
• Hyperintensions
• Computational Semantics with Functional Programming
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Natural language semantics and computability

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)