[permalink] [id link]
Page "Intuitionistic type theory" ¶ 41
from Wikipedia
Promote Demote Fragment Fix

Some Related Sentences

So and objects
So the term " insert " is often confined to views of objectsand body parts, other than the head.
So any doctrine, such as materialism, that asserts that finite qualities or natural objects are fully real is mistaken.
So when one studies string theory at low energies, it becomes difficult to see that strings are extended objects — they become effectively zero-dimensional ( pointlike ).
So, while natural signs serve as the source of signification, the human mind is the agency through which signs signify naturally occurring things, such as objects, states, qualities, quantities, events, processes, or relationships.
So objects can easily be inspected, copied, ( de ) serialized and so on with generic code that applies to any object in the system.
So by 1864, the physics community and beyond knew sunlight carried momentum that would exert a pressure on objects.
So that is one problem about the notion that God is a mind — namely, it is hard really to understand the very notion that a mind can create physical objects out of nothing.
On 13 May Powell, said the task force was sent " to repossess the Falkland Islands, to restore British administration of the islands and to ensure that the decisive factor in the future of the islands should be the wishes of the inhabitants " but the Foreign Secretary ( Francis Pym ) desired an " interim agreement ": " So far as I understand that interim agreement, it is in breach, if not in contradiction, of each of the three objects with which the task force was dispatched to the South Atlantic.
So the extension of " before " is the set of all ( ordered ) pairs of objects such that the first one is before the second one.
So, the bundle theorist is not denying that objects exist ; he or she is affirming that objects are the same as bundles of properties.
The Cambridge cryptographer Ross Anderson has great concerns that " TC can support remote censorship [...] In general, digital objects created using TC systems remain under the control of their creators, rather than under the control of the person who owns the machine on which they happen to be stored ( as at present ) [...] So someone who writes a paper that a court decides is defamatory can be compelled to censor it — and the software company that wrote the word processor could be ordered to do the deletion if she refuses.
These objects have been featured and mentioned in various media, including the television show Unsolved Mysteries and an episode of King of the Hill (" Of Mice and Little Green Men ") and in an episode of Disney Channel Original Series So Weird, however the producers / writers had made the countryside of Marfa as a forest area instead of a desert area which Marfa is actually located in.
So a common defense of realism ( and hence of Aristotle's realism ) is that we should not expect universals to behave as ordinary physical objects do.
So the ideas or mental images in the mind are identical to the extended objects which are external to the mind.
So, for example, the adjective " red " is equated with the set of all red objects.
So, as long as inertial mass and gravitational mass are always equal as required by the equivalence principle, positive active gravitational mass would be universally attractive ( both negative-mass and positive-mass objects would be pulled towards an object with positive active gravitational mass ), while negative active gravitational mass would be universally repulsive ( both negative-mass and positive-mass objects would be pushed away ).
So ground truth can help fully identify objects in satellite photos.
So exhibits included objects and texts related to journeys by sea and overland, fairs, spectacles and pilgrimages.
So let be the category of bordisms, i. e. the category whose morphisms are n-dimensional manifolds with boundary, and whose objects are the connected components of the boundaries of n-dimensional manifolds.
So there is no ' screen ' in front of cortical ' eyes ', no mental objects before one.
So, although through their relationship Something and Other mutually determine each other ’ s inner Qualities, they do not have the same effect on the Infinite Being ― be it God, spirit or ego ( in the Fichtean sense )― to which they are now objects.
: So, in the spirit of Hewitt, our first step is to demand that all things denoted by terms or accessed by names -- values, registers, operators, processes, objects -- are all of the same kind of thing ; they should all be processes.

So and types
So many types of pleasant labor can be described as a result of an earlier and more painful investment.
So automated Internet surveillance computers sift through the vast amount of intercepted Internet traffic and identify and report to human investigators traffic considered interesting by using certain " trigger " words or phrases, visiting certain types of web sites, or communicating via email or chat with suspicious individuals or groups.
So automated Internet surveillance computers sift through the vast amount of intercepted Internet traffic, and filter out and report to human investigators those bits of information which are " interesting "— such as the use of certain words or phrases, visiting certain types of web sites, or communicating via email or chat with a certain individual or group.
So these moving types of fighters, I don ’ t know that that ’ s well suited for me.
So too, there are many different types of explanation.
So while halyard shanties and capstan shanties tended to be exclusive of one another, windlass shanties sometimes shared repertoire with each of those other types.
So the linguistic difference is: types ( or kinds ) have tokens ( or instances ); classes, on the other hand, have members.
So they pushed for the exact types of shows that Cannell did not want, shows that involved Ralph trying to stop some sort of calamity from happening, including nuclear war (" Operation Spoilsport ") and even a Loch Ness Monster-type of creature (" The Devil in the Deep Blue Sea ").
So both PGD and PGS should be referred to as types of embryo screening.
So the ability to differentiate between the attitudes ( and their respective " worlds ") mentioned above should be understood as an ability to distinguish between types of validity claims.
So different types of emission theories were proposed where the speed of light depends on the velocity of the source, and the Galilean transformation is used instead of the Lorentz transformation.
So, in India, there are just three types of negotiable instruments such as promissory note, bill of exchange and cheque.
So, it is fertilization risk and the cooperation of different mating types to deal with it that caused the evolution of anisogamy.
So a plugin runs in-place within the page, as opposed to older browsers that had to launch an external application to handle unknown content types.
So for each state of the nature, the game will have different types of players.
So the strategy for each player only depends on his type, since he may not have any knowledge about other players ' types.
So they belong, in accordance with the concept of category, to the same logical types, given that the expressions that are used for the descriptions of mental events are always mere negatives of the expressions used for the descriptions of material events.
So while there may not be a morphologically based alethic mood, this does not seem to preclude the usefulness of distinguishing between these two types of modes.

So and these
So if all these beers was to get me in bed, man, you just spent a lot of money ''.
So in these pages the term `` technology '' is used to include any and all means which could amplify, project, or augment man's control over himself and over other men.
So persistent were these attacks that in March of the following year, Woodruff was finally moved to action, and Pike was to learn his first lesson in frontier politics, the subtle art of diversion.
Again omitting recent developments, E.T. Leeds' dictum of 1913 has stood unchallenged: `` So far as archaeology is concerned, there is not the least warrant for the second ( shore occupied by ) of these theories ''.
So you yourself must seek these objective data, and come to your own conclusions.
So far these remarks, like most criticisms of Hardy, have tacitly assumed that his poetry is all of a piece, one solid mass of verse expressing a sensibility at a single stage of development.
So each reading can be given a weight and each reading a score by adding up these weights.
So hostile did these factions become that, among the Choctaws, civil war broke out.
So obvious are these advantages that nearly 95 per cent of the population of New York State now has access to a system, and enthusiastic librarians foresee the day, not too distant, when all the libraries in the state will belong to a co-op.
So in these pages one can share his wonder at the traditional fiesta of St. Torpetius that still persists in St. Tropez ; ;
( So prevalent are these isolated peaks and ridges that a specialised term has been adopted in Germany to describe this kind of country, thought to be in great part the result of wind action.
' So we'd come up with these shots that were really, really difficult, and sometimes they would take thirty-seven takes ".
So the built output of Bauhaus architecture in these years is the output of Gropius: the Sommerfeld house in Berlin, the Otte house in Berlin, the Auerbach house in Jena, and the competition design for the Chicago Tribune Tower, which brought the school much attention.
So it is up to the software to decide in which direction these " weak " characters will be placed.
In those passages he reemphasized the concept by adding a divine postscript to the Genesis passage these words: " So, they are no longer two, but one " ( NIV ).
So to classify these groups one takes every central extension of every known finite simple group, and finds all simple groups with a centralizer of involution with this as a component.
Jesse had seven of his sons pass before Samuel, but Samuel said to him, " The Lord has not chosen these .” So he asked Jesse, " Are these all the sons you have?
So in May 1893 a new regulation to all chiefs of police, stated that the police should not intervene, if the two last fields in the flag were longer than 6 / 4 as long as these did not exceed 7 / 4, and provided that this was the only rule violated.
So Irenaeus tells of the system of Simon Magus, of the system of Menander, of the system of Saturninus, in which the number of these angels is reckoned as seven, and of the system of Carpocrates.
So although these organisms contain chloroplasts and / or mitochondria that have their own DNA, the genetic information contained by DNA within these organelles is not considered part of the genome.
So it is now not necessary to meet these regulations if the production volume is lower than 10, 000 cars annually for a certain model.
So though workers may labor with greater skill or more productivity than others, these more skillful and more productive workers will thus produce more value through the production of greater quantities of the finished commodity: each unit still bearing the same value as all the others of the same class of commodity.
So the labor process inevitably involves these means of production that already enter the process with a certain amount of value.

2.840 seconds.