6 results
Contributors
-
- By Mitchell Aboulafia, Frederick Adams, Marilyn McCord Adams, Robert M. Adams, Laird Addis, James W. Allard, David Allison, William P. Alston, Karl Ameriks, C. Anthony Anderson, David Leech Anderson, Lanier Anderson, Roger Ariew, David Armstrong, Denis G. Arnold, E. J. Ashworth, Margaret Atherton, Robin Attfield, Bruce Aune, Edward Wilson Averill, Jody Azzouni, Kent Bach, Andrew Bailey, Lynne Rudder Baker, Thomas R. Baldwin, Jon Barwise, George Bealer, William Bechtel, Lawrence C. Becker, Mark A. Bedau, Ernst Behler, José A. Benardete, Ermanno Bencivenga, Jan Berg, Michael Bergmann, Robert L. Bernasconi, Sven Bernecker, Bernard Berofsky, Rod Bertolet, Charles J. Beyer, Christian Beyer, Joseph Bien, Joseph Bien, Peg Birmingham, Ivan Boh, James Bohman, Daniel Bonevac, Laurence BonJour, William J. Bouwsma, Raymond D. Bradley, Myles Brand, Richard B. Brandt, Michael E. Bratman, Stephen E. Braude, Daniel Breazeale, Angela Breitenbach, Jason Bridges, David O. Brink, Gordon G. Brittan, Justin Broackes, Dan W. Brock, Aaron Bronfman, Jeffrey E. Brower, Bartosz Brozek, Anthony Brueckner, Jeffrey Bub, Lara Buchak, Otavio Bueno, Ann E. Bumpus, Robert W. Burch, John Burgess, Arthur W. Burks, Panayot Butchvarov, Robert E. Butts, Marina Bykova, Patrick Byrne, David Carr, Noël Carroll, Edward S. Casey, Victor Caston, Victor Caston, Albert Casullo, Robert L. Causey, Alan K. L. Chan, Ruth Chang, Deen K. Chatterjee, Andrew Chignell, Roderick M. Chisholm, Kelly J. Clark, E. J. Coffman, Robin Collins, Brian P. Copenhaver, John Corcoran, John Cottingham, Roger Crisp, Frederick J. Crosson, Antonio S. Cua, Phillip D. Cummins, Martin Curd, Adam Cureton, Andrew Cutrofello, Stephen Darwall, Paul Sheldon Davies, Wayne A. Davis, Timothy Joseph Day, Claudio de Almeida, Mario De Caro, Mario De Caro, John Deigh, C. F. Delaney, Daniel C. Dennett, Michael R. DePaul, Michael Detlefsen, Daniel Trent Devereux, Philip E. Devine, John M. Dillon, Martin C. Dillon, Robert DiSalle, Mary Domski, Alan Donagan, Paul Draper, Fred Dretske, Mircea Dumitru, Wilhelm Dupré, Gerald Dworkin, John Earman, Ellery Eells, Catherine Z. Elgin, Berent Enç, Ronald P. Endicott, Edward Erwin, John Etchemendy, C. Stephen Evans, Susan L. Feagin, Solomon Feferman, Richard Feldman, Arthur Fine, Maurice A. Finocchiaro, William FitzPatrick, Richard E. Flathman, Gvozden Flego, Richard Foley, Graeme Forbes, Rainer Forst, Malcolm R. Forster, Daniel Fouke, Patrick Francken, Samuel Freeman, Elizabeth Fricker, Miranda Fricker, Michael Friedman, Michael Fuerstein, Richard A. Fumerton, Alan Gabbey, Pieranna Garavaso, Daniel Garber, Jorge L. A. Garcia, Robert K. Garcia, Don Garrett, Philip Gasper, Gerald Gaus, Berys Gaut, Bernard Gert, Roger F. Gibson, Cody Gilmore, Carl Ginet, Alan H. Goldman, Alvin I. Goldman, Alfonso Gömez-Lobo, Lenn E. Goodman, Robert M. Gordon, Stefan Gosepath, Jorge J. E. Gracia, Daniel W. Graham, George A. Graham, Peter J. Graham, Richard E. Grandy, I. Grattan-Guinness, John Greco, Philip T. Grier, Nicholas Griffin, Nicholas Griffin, David A. Griffiths, Paul J. Griffiths, Stephen R. Grimm, Charles L. Griswold, Charles B. Guignon, Pete A. Y. Gunter, Dimitri Gutas, Gary Gutting, Paul Guyer, Kwame Gyekye, Oscar A. Haac, Raul Hakli, Raul Hakli, Michael Hallett, Edward C. Halper, Jean Hampton, R. James Hankinson, K. R. Hanley, Russell Hardin, Robert M. Harnish, William Harper, David Harrah, Kevin Hart, Ali Hasan, William Hasker, John Haugeland, Roger Hausheer, William Heald, Peter Heath, Richard Heck, John F. Heil, Vincent F. Hendricks, Stephen Hetherington, Francis Heylighen, Kathleen Marie Higgins, Risto Hilpinen, Harold T. Hodes, Joshua Hoffman, Alan Holland, Robert L. Holmes, Richard Holton, Brad W. Hooker, Terence E. Horgan, Tamara Horowitz, Paul Horwich, Vittorio Hösle, Paul Hoβfeld, Daniel Howard-Snyder, Frances Howard-Snyder, Anne Hudson, Deal W. Hudson, Carl A. Huffman, David L. Hull, Patricia Huntington, Thomas Hurka, Paul Hurley, Rosalind Hursthouse, Guillermo Hurtado, Ronald E. Hustwit, Sarah Hutton, Jonathan Jenkins Ichikawa, Harry A. Ide, David Ingram, Philip J. Ivanhoe, Alfred L. Ivry, Frank Jackson, Dale Jacquette, Joseph Jedwab, Richard Jeffrey, David Alan Johnson, Edward Johnson, Mark D. Jordan, Richard Joyce, Hwa Yol Jung, Robert Hillary Kane, Tomis Kapitan, Jacquelyn Ann K. Kegley, James A. Keller, Ralph Kennedy, Sergei Khoruzhii, Jaegwon Kim, Yersu Kim, Nathan L. King, Patricia Kitcher, Peter D. Klein, E. D. Klemke, Virginia Klenk, George L. Kline, Christian Klotz, Simo Knuuttila, Joseph J. Kockelmans, Konstantin Kolenda, Sebastian Tomasz Kołodziejczyk, Isaac Kramnick, Richard Kraut, Fred Kroon, Manfred Kuehn, Steven T. Kuhn, Henry E. Kyburg, John Lachs, Jennifer Lackey, Stephen E. Lahey, Andrea Lavazza, Thomas H. Leahey, Joo Heung Lee, Keith Lehrer, Dorothy Leland, Noah M. Lemos, Ernest LePore, Sarah-Jane Leslie, Isaac Levi, Andrew Levine, Alan E. Lewis, Daniel E. Little, Shu-hsien Liu, Shu-hsien Liu, Alan K. L. Chan, Brian Loar, Lawrence B. Lombard, John Longeway, Dominic McIver Lopes, Michael J. Loux, E. J. Lowe, Steven Luper, Eugene C. Luschei, William G. Lycan, David Lyons, David Macarthur, Danielle Macbeth, Scott MacDonald, Jacob L. Mackey, Louis H. Mackey, Penelope Mackie, Edward H. Madden, Penelope Maddy, G. B. Madison, Bernd Magnus, Pekka Mäkelä, Rudolf A. Makkreel, David Manley, William E. Mann (W.E.M.), Vladimir Marchenkov, Peter Markie, Jean-Pierre Marquis, Ausonio Marras, Mike W. Martin, A. P. Martinich, William L. McBride, David McCabe, Storrs McCall, Hugh J. McCann, Robert N. McCauley, John J. McDermott, Sarah McGrath, Ralph McInerny, Daniel J. McKaughan, Thomas McKay, Michael McKinsey, Brian P. McLaughlin, Ernan McMullin, Anthonie Meijers, Jack W. Meiland, William Jason Melanson, Alfred R. Mele, Joseph R. Mendola, Christopher Menzel, Michael J. Meyer, Christian B. Miller, David W. Miller, Peter Millican, Robert N. Minor, Phillip Mitsis, James A. Montmarquet, Michael S. Moore, Tim Moore, Benjamin Morison, Donald R. Morrison, Stephen J. Morse, Paul K. Moser, Alexander P. D. Mourelatos, Ian Mueller, James Bernard Murphy, Mark C. Murphy, Steven Nadler, Jan Narveson, Alan Nelson, Jerome Neu, Samuel Newlands, Kai Nielsen, Ilkka Niiniluoto, Carlos G. Noreña, Calvin G. Normore, David Fate Norton, Nikolaj Nottelmann, Donald Nute, David S. Oderberg, Steve Odin, Michael O’Rourke, Willard G. Oxtoby, Heinz Paetzold, George S. Pappas, Anthony J. Parel, Lydia Patton, R. P. Peerenboom, Francis Jeffry Pelletier, Adriaan T. Peperzak, Derk Pereboom, Jaroslav Peregrin, Glen Pettigrove, Philip Pettit, Edmund L. Pincoffs, Andrew Pinsent, Robert B. Pippin, Alvin Plantinga, Louis P. Pojman, Richard H. Popkin, John F. Post, Carl J. Posy, William J. Prior, Richard Purtill, Michael Quante, Philip L. Quinn, Philip L. Quinn, Elizabeth S. Radcliffe, Diana Raffman, Gerard Raulet, Stephen L. Read, Andrews Reath, Andrew Reisner, Nicholas Rescher, Henry S. Richardson, Robert C. Richardson, Thomas Ricketts, Wayne D. Riggs, Mark Roberts, Robert C. Roberts, Luke Robinson, Alexander Rosenberg, Gary Rosenkranz, Bernice Glatzer Rosenthal, Adina L. Roskies, William L. Rowe, T. M. Rudavsky, Michael Ruse, Bruce Russell, Lilly-Marlene Russow, Dan Ryder, R. M. Sainsbury, Joseph Salerno, Nathan Salmon, Wesley C. Salmon, Constantine Sandis, David H. Sanford, Marco Santambrogio, David Sapire, Ruth A. Saunders, Geoffrey Sayre-McCord, Charles Sayward, James P. Scanlan, Richard Schacht, Tamar Schapiro, Frederick F. Schmitt, Jerome B. Schneewind, Calvin O. Schrag, Alan D. Schrift, George F. Schumm, Jean-Loup Seban, David N. Sedley, Kenneth Seeskin, Krister Segerberg, Charlene Haddock Seigfried, Dennis M. Senchuk, James F. Sennett, William Lad Sessions, Stewart Shapiro, Tommie Shelby, Donald W. Sherburne, Christopher Shields, Roger A. Shiner, Sydney Shoemaker, Robert K. Shope, Kwong-loi Shun, Wilfried Sieg, A. John Simmons, Robert L. Simon, Marcus G. Singer, Georgette Sinkler, Walter Sinnott-Armstrong, Matti T. Sintonen, Lawrence Sklar, Brian Skyrms, Robert C. Sleigh, Michael Anthony Slote, Hans Sluga, Barry Smith, Michael Smith, Robin Smith, Robert Sokolowski, Robert C. Solomon, Marta Soniewicka, Philip Soper, Ernest Sosa, Nicholas Southwood, Paul Vincent Spade, T. L. S. Sprigge, Eric O. Springsted, George J. Stack, Rebecca Stangl, Jason Stanley, Florian Steinberger, Sören Stenlund, Christopher Stephens, James P. Sterba, Josef Stern, Matthias Steup, M. A. Stewart, Leopold Stubenberg, Edith Dudley Sulla, Frederick Suppe, Jere Paul Surber, David George Sussman, Sigrún Svavarsdóttir, Zeno G. Swijtink, Richard Swinburne, Charles C. Taliaferro, Robert B. Talisse, John Tasioulas, Paul Teller, Larry S. Temkin, Mark Textor, H. S. Thayer, Peter Thielke, Alan Thomas, Amie L. Thomasson, Katherine Thomson-Jones, Joshua C. Thurow, Vzalerie Tiberius, Terrence N. Tice, Paul Tidman, Mark C. Timmons, William Tolhurst, James E. Tomberlin, Rosemarie Tong, Lawrence Torcello, Kelly Trogdon, J. D. Trout, Robert E. Tully, Raimo Tuomela, John Turri, Martin M. Tweedale, Thomas Uebel, Jennifer Uleman, James Van Cleve, Harry van der Linden, Peter van Inwagen, Bryan W. Van Norden, René van Woudenberg, Donald Phillip Verene, Samantha Vice, Thomas Vinci, Donald Wayne Viney, Barbara Von Eckardt, Peter B. M. Vranas, Steven J. Wagner, William J. Wainwright, Paul E. Walker, Robert E. Wall, Craig Walton, Douglas Walton, Eric Watkins, Richard A. Watson, Michael V. Wedin, Rudolph H. Weingartner, Paul Weirich, Paul J. Weithman, Carl Wellman, Howard Wettstein, Samuel C. Wheeler, Stephen A. White, Jennifer Whiting, Edward R. Wierenga, Michael Williams, Fred Wilson, W. Kent Wilson, Kenneth P. Winkler, John F. Wippel, Jan Woleński, Allan B. Wolter, Nicholas P. Wolterstorff, Rega Wood, W. Jay Wood, Paul Woodruff, Alison Wylie, Gideon Yaffe, Takashi Yagisawa, Yutaka Yamamoto, Keith E. Yandell, Xiaomei Yang, Dean Zimmerman, Günter Zoller, Catherine Zuckert, Michael Zuckert, Jack A. Zupko (J.A.Z.)
- Edited by Robert Audi, University of Notre Dame, Indiana
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
Contributors
-
- By Cecil S. Ash, Paul Barach, Ulrike Buehner, M. Ross Bullock, Leonardo Canale, Henry G. Chou, Jeffrey A. Claridge, John J. Como, Armagan Dagal, Martin Dauber, James S. Davis, Shalini Dhir, François Donati, Roman Dudaryk, Richard P. Dutton, Talmage D. Egan, Yashar Eshraghi, John R. Fisgus, Jeff Gadsden, Sugantha Ganapathy, Mark A. Gerhardt, Inderjit Gill, Joseph F. Golob, Glenn P. Gravlee, Marcello Guglielmi, Jana Hambley, Peter Hebbard, Elena J. Holak, Khadil Hosein, Ken Johnson, Matthew A. Joy, George W. Kanellakos, Olga Kaslow, Arthur M. Lam, Vanetta Levesque, Jessica Anne Lovich-Sapola, M. Jocelyn Loy, Peter F. Mahoney, Donn Marciniak, Maureen McCunn, Craig C. McFarland, Maroun J. Mhanna, Timothy Moore, Cynthia Nguyen, Maxim Novikov, E. Orestes O’Brien, Ketan P. Parekh, Claire L. Park, Michael J. A. Parr, Elie Rizkala, Steven Roth, Alistair Royse, Colin Royse, Kasia Petelenz Rubin, David Ryan, Claire Sandstrom, Carl I. Schulman, Rishad Shaikh, Ranjita Sharma, Jeffrey H. Silverstein, Peter Slinger, Charles E. Smith, Christopher Smith, Paul Soeding, Rakesh V. Sondekoppam, P. David Soran, Eldar Søreide, Elizabeth A. Steele, Kristian Strand, Dennis M. Super, Kutaiba Tabbaa, Nicholas T. Tarmey, Joshua M. Tobin, Kalpana Tyagaraj, Heather A. Vallier, Sandra Werner, Earl Willis Weyers, William C. Wilson, Shoji Yokobori, Charles J. Yowler
- Edited by Charles E. Smith
-
- Book:
- Trauma Anesthesia
- Published online:
- 05 April 2015
- Print publication:
- 09 April 2015, pp vii-x
-
- Chapter
- Export citation
Contributors
-
- By Yasir Abu-Omar, Matthew E. Atkins, Joseph E. Arrowsmith, Alan Ashworth, Rubia Baldassarri, Craig R. Bailey, David J. Barron, Christiana C. Burt, David Cardone, Coralie Carle, Jose Coddens, Alan M. Cohen, Simon Colah, Sarah Conolly, David J. Daly, Helen M. Daly, Stefan G. De Hert, Ravi J. De Silva, Mark Dougherty, John J. Dunning, Maros Elsik, Betsy Evans, Florian Falter, Nigel Farnum, Jens Fassl, Juliet E. Foweraker, Simon P. Fynn, Andrew I. Gardner, Margaret I. Gillham, Martin J. Goddard, Maximilien J. Gourdin, Jon Graham, Stephen J. Gray, Cameron Graydon, Fabio Guarracino, Roger M. O. Hall, Michael Haney, Charles W. Hogue, Ben W. Howes, Bevan Hughes, Siân I. Jaggar, David P. Jenkins, Jörn Karhausen, Todd Kiefer, Khalid Khan, Andrew A. Klein, John D. Kneeshaw, Andrew C. Knowles, Catherine V. Koffel, R. Clive Landis, Trevor W. R. Lee, Clive J. Lewis, Jonathan H. Mackay, Amod Manocha, Jonathan B. Mark, Sarah Marstin, William T. McBride, Kenneth H. McKinlay, Alan F. Merry, Berend Mets, Britta Millhoff, Kevin P. Morris, Samer A. M. Nashef, Andrew Neitzel, Stephane Noble, Rabi Panigrahi, Barbora Parizkova, J. M. Tom Pierce, Mihai V. Podgoreanu, Hans-Joachim Priebe, Paul Quinton, C. Ramaswamy Rajamohan, Doris M. Rassl, Tom Rawlings, Fiona E. Reynolds, Andrew J. Richardson, David Riddington, Andrew Roscoe, Paul H. M. Sadleir, Ving Yuen See Tho, Herve Schlotterbeck, Maura Screaton, Shitalkumar Shah, Harjot Singh, Jon H. Smith, M. L. Srikanth, Yeewei W. Teo, Kamen P. Valchanov, Jean-Pierre van Besouw, Isabeau A. Walker, Stephen T. Webb, Francis C. Wells, John Whitbread, Charles Willmott, Patrick Wouters
- Edited by Jonathan H. Mackay, Joseph E. Arrowsmith
-
- Book:
- Core Topics in Cardiac Anesthesia
- Published online:
- 05 April 2012
- Print publication:
- 15 March 2012, pp x-xiii
-
- Chapter
- Export citation
Contributors
-
- By Waiel Almoustadi, Brian J. Anderson, David B. Auyong, Michael Avidan, Michael J. Avram, Roland J. Bainton, Jeffrey R. Balser, Juliana Barr, W. Scott Beattie, Manfred Blobner, T. Andrew Bowdle, Walter A. Boyle, Eugene B. Campbell, Laura F. Cavallone, Mario Cibelli, C. Michael Crowder, Ola Dale, M. Frances Davies, Mark Dershwitz, George Despotis, Clifford S. Deutschman, Brian S. Donahue, Marcel E. Durieux, Thomas J. Ebert, Talmage D. Egan, Helge Eilers, E. Wesley Ely, Charles W. Emala, Alex S. Evers, Heidrun Fink, Pierre Foëx, Stuart A. Forman, Helen F. Galley, Josephine M. Garcia-Ferrer, Robert W. Gereau, Tony Gin, David Glick, B. Joseph Guglielmo, Dhanesh K. Gupta, Howard B. Gutstein, Robert G. Hahn, Greg B. Hammer, Brian P. Head, Helen Higham, Laureen Hill, Kirk Hogan, Charles W. Hogue, Christopher G. Hughes, Eric Jacobsohn, Roger A. Johns, Dean R. Jones, Max Kelz, Evan D. Kharasch, Ellen W. King, W. Andrew Kofke, Tom C. Krejcie, Richard M. Langford, H. T. Lee, Isobel Lever, Jerrold H. Levy, J. Lance Lichtor, Larry Lindenbaum, Hung Pin Liu, Geoff Lockwood, Alex Macario, Conan MacDougall, M. B. MacIver, Aman Mahajan, Nándor Marczin, J. A. Jeevendra Martyn, George A. Mashour, Mervyn Maze, Thomas McDowell, Stuart McGrane, Berend Mets, Patrick Meybohm, Charles F. Minto, Jonathan Moss, Mohamed Naguib, Istvan Nagy, Nick Oliver, Paul S. Pagel, Pratik P. Pandharipande, Piyush Patel, Andrew J. Patterson, Robert A. Pearce, Ronald G. Pearl, Misha Perouansky, Kristof Racz, Chinniampalayam Rajamohan, Nilesh Randive, Imre Redai, Stephen Robinson, Richard W. Rosenquist, Carl E. Rosow, Uwe Rudolph, Francis V. Salinas, Robert D. Sanders, Sunita Sastry, Michael Schäfer, Jens Scholz, Thomas W. Schnider, Mark A. Schumacher, John W. Sear, Frédérique S. Servin, Jeffrey H. Silverstein, Tom De Smet, Martin Smith, Joe Henry Steinbach, Markus Steinfath, David F. Stowe, Gary R. Strichartz, Michel M. R. F. Struys, Isao Tsuneyoshi, Robert A. Veselis, Arthur Wallace, Robert P. Walt, David C. Warltier, Nigel R. Webster, Jeanine Wiener-Kronish, Troy Wildes, Paul Wischmeyer, Ling-Gang Wu, Stephen Yang
- Edited by Alex S. Evers, Washington University School of Medicine, St Louis, Mervyn Maze, University of California, San Francisco, Evan D. Kharasch, Washington University School of Medicine, St Louis
-
- Book:
- Anesthetic Pharmacology
- Published online:
- 11 April 2011
- Print publication:
- 10 March 2011, pp viii-xiv
-
- Chapter
- Export citation
Discussion
- H. B. Jacobin, Christopher Stone, Edwin Smith, Carl Christol, Robert E. Lutz, Bouzier Nagy, David Caron, Jon Van Dyke, Daniel Magraw, Alice M. Noble-Allgire
-
- Journal:
- Proceedings of the ASIL Annual Meeting / Volume 83 / 1989
- Published online by Cambridge University Press:
- 28 February 2017, pp. 80-87
- Print publication:
- 1989
-
- Article
- Export citation
Applications of Classical Recursion Theory to Computer Science
-
- By Carl H. Smith, Department of Computer Sciences Purdue University West Lafayette, Indiana 47907
- Edited by F. R. Drake, S. S. Wainer
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 236-247
-
- Chapter
- Export citation
-
Summary
Introduction
In introducing his definitive work on recursion theory, Rogers (1967) remarks
“… our emphasis will be extensional, in that we shall be more concerned with objects named (functions) than with objects serving as names (algorithms).”
Computer scientists are interested in algorithms; their existence, expression, relative efficiency, comprehensibility, accuracy, and structure. Many computer scientists are more interested in algorithms themselves, rather than what is computed by them. In the sequel will emphasize and exploit the intensional aspects of recursion theory. Our intention is to substantiate the claim that the formalisms and techniques of recursive function theory can be applied to obtain results of interest in computer science. In what follows we will survey results which yield insights into the nature of programming techniques, complexity of programs, and the inductive inference of programs given examples of their intended input-output behavior. The results presented below are from the field of intensional recursion theory in that they make assertions concerning algorithms and their proofs use the recursion theoretic techniques of diagonalization and recursion. Furthermore, in many instances, these techniques are applied intensionally in that they are used to specify an algorithm which manipulates other algorithms syntactically without necessarily any knowledge of the function specified by the manipulated algorithms. We include proofs only to illustrate the intensionality of their techniques.
First we introduce the necessary concepts and notation of recursive function theory from the perspective of a computer scientist. We start with an enumeration of the closure under concatenation of some arbitrary, but fixed, finite alphabet. An element of the enumeration is called a file. Files contain text which will be interpreted as either a program or as data.
![](/core/cambridge-core/public/images/lazy-loader.gif)